
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
Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
Secure and fast microVMs for serverless computing.
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Real-time Data Integration and Transformation: use SQL to transform, deliver, and act on fast-changing data.
💡 Experimental real-time global illumination renderer 🦀
ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations
A new operating system kernel with Linux binary compatibility written in Rust.
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.
Framework for writing Linux kernel modules in safe Rust
Rust Memory Safety & Undefined Behavior Detection