
Alexander Tarasikov astarasikov
- All languages
- ASL
- ATS
- Agda
- Assembly
- BitBake
- Bluespec
- C
- C#
- C++
- CMake
- CSS
- CartoCSS
- Common Lisp
- Coq
- Cuda
- Dockerfile
- Erlang
- F#
- F*
- Frege
- GLSL
- Go
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- KiCad Layout
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- OCaml
- Objective-C
- Objective-C++
- PHP
- Processing
- Python
- QML
- R
- Racket
- Ruby
- Rust
- Sass
- Scala
- Shell
- Smali
- Swift
- SystemVerilog
- TeX
- TypeScript
- VHDL
- Vala
- Verilog
- Vim Script
Starred repositories
Virtualisation platform using CHERI for isolation and sharing
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Real-time Global Illumination with Vulkan Ray Tracing API
FirmWire is a full-system baseband firmware emulation platform for fuzzing, debugging, and root-cause analysis of smartphone baseband firmwares
Python code to parse a Twitter archive and output in various ways
An operating system written in Common Lisp
Karras et al. (2022) diffusion models for PyTorch
GPU implementation of a fast generalized ANS (asymmetric numeral system) entropy encoder and decoder, with extensions for lossless compression of numerical and other data types in HPC/ML applications.
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
DALL·E Mini - Generate images from a text prompt
High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques
NVIDIA Linux open GPU kernel module source
💡 Experimental real-time global illumination renderer 🦀
Ubuntu Secure Boot Kernel Signing (MOK)
GCC/gcov code coverage data extraction from the actual embedded system, without requiring a file system, or an operating system, or standard C libraries.
This repo contains the DirectX Graphics samples that demonstrate how to build graphics intensive applications on Windows.
A UEFI Firmware for blueline (Google Pixel3)
Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
Flip flop setup, hold & metastability explorer tool