- 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 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
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.
Repository of all kinds of things to help you get up and running with ACID transactions on Apache Cassandra®
Type-safe FFmpeg bindings for Python & TypeScript — filters, typing, and docs
A course of learning LLM inference serving on Apple Silicon for systems engineers: build a tiny vLLM + Qwen.