- 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
- Fennel
- Forth
- GCC Machine Description
- Go
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Mathematica
- Mojo
- Nim
- Nix
- OCaml
- Objective-C
- Perl
- 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 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.
Make beautiful isometric infrastructure diagrams
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®
Python FFmpeg wrappers support filters with typing and docs
A course of learning LLM inference serving on Apple Silicon for systems engineers: build a tiny vLLM + Qwen.
Type-in programs from the original 101 BASIC Computer Games, in their original DEC and Dartmouth dialects. No, this is *not* the same as BASIC Computer Games.
What are the principles we can use to build LLM-powered software that is actually good enough to put in the hands of production customers?
Live-bending a foundation model’s output at neural network level.
Connect your devices into a secure WireGuard®-based overlay network with SSO, MFA and granular access controls.
A fast approximate nearest neighbor search library for Go
Understanding R1-Zero-Like Training: A Critical Perspective