- All languages
- APL
- Agda
- Assembly
- BASIC
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Crystal
- Cuda
- D
- DIGITAL Command Language
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F#
- Fennel
- Forth
- GCC Machine Description
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- Perl
- Pony
- Python
- R
- Raku
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- SWIG
- Scala
- Shell
- Solidity
- Starlark
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- TypeScript
- V
- Vala
- Verilog
- Vue
- WebAssembly
- Zig
Starred repositories
A unified, unmanaged multimodal runtime. Zero-allocation native AI inference for Java 22+.
Ridiculously fast decompression at good ratios. misa77 is 1.5-3x faster than LZ4 for decompression on x86 and ARM (with better ratios!).
Postgres rewritten in Rust, now faster than Postgres and Clickhouse
It is said that, Ilya Sutskever gave John Carmack this reading list of ~ 30 research papers on deep learning.
A structured course built from personal study notes of the book Linux Basics for Hackers by OccupyTheWeb.
Fast, accurate & comprehensive text measurement & layout
RE# - A high-performance, automata based regex engine with first-class support for intersection and complement operations.
nCPU: model-native and tensor-optimized CPU research runtimes with organized workloads, tools, and docs
ARCHIVED — split into 6 standalone repos. See README for links.
Open-source CUDA, Triton and HIP compiler targeting multiple GPU and CPU architectures.
A theoretical and practical deep dive into Reinforcement Learning with Human Feedback and it’s applications in Large Language Models from scratch.
Turn paper/text/topic into editable research figures, technical route diagrams, and presentation slides.
A WASM virtual machine written in Go with 0 dependencies
Practice Go: a collection of Go programming challenges
Simulate flight path visualization using Three.js.
Scalable datastore for metrics, events, and real-time analytics
Source code for the X Recommendation Algorithm
A concise, beginner-friendly introduction to the core ideas of linear algebra.
Robust Speech Recognition via Large-Scale Weak Supervision
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Fast caching software with a focus on low latency and cpu efficiency.
An open-source AI agent that brings the power of Gemini directly into your terminal.
Digitally synthesizable architecture for SerDes using Skywater Open PDK 130 nm technology.