- 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 passing 100% of the Postgres regression tests
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.