- Austin
- All languages
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Crystal
- Cuda
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- FLUX
- Fortran
- Gnuplot
- Go
- Groovy
- HCL
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- Makefile
- Markdown
- Max
- Mustache
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pascal
- PowerShell
- PureBasic
- Python
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Starlark
- Swift
- SystemVerilog
- TLA
- Tcl
- TeX
- TypeScript
- V
- Verilog
- Vim Script
- Vue
- Zig
Starred repositories
Lightly-reviewed collection of community environments
Environments by the Prime Intellect Research Team
A generative AI-powered framework for testing virtual agents.
A PyTorch implementation of the Transformer model in "Attention is All You Need".
A meta-harness for all your AI agents. Omnigent provides a common layer over Claude Code, Codex, Pi, and the agents you write yourself: swap or combine harnesses without rewriting, keep them in che…
Codex-native Academic Research Skills suite for human-in-the-loop academic research workflows
🏭 Mega Scale Multimodal DataPipeline for SOTA Foundation Models
TensorRT LLM provides users with an easy-to-use Python API to define Large Language Models (LLMs) and supports state-of-the-art optimizations to perform inference efficiently on NVIDIA GPUs. Tensor…
Official code base for LeWorldModel: Stable End-to-End Joint-Embedding Predictive Architecture from Pixels
Distributed and resource-efficient verification for verify-rust-std
Multi-platform high-performance compute language extension for Rust.
Burn is a next generation tensor library and Deep Learning Framework that doesn't compromise on flexibility, efficiency and portability.
Joint Embedding Predictive Architecture for World Models, written in Rust.
Wrap Gemini CLI, Antigravity, ChatGPT Codex, Claude Code, Grok Build as an OpenAI/Gemini/Claude/Codex compatible API service, allowing you to enjoy the free Gemini 3.1 Pro, GPT 5.5, Grok 4.3, Claud…
DeDe (OSDI '25): an optimization framework for large-scale resource allocation
Interactive Go interpreter and debugger with REPL, Eval, generics and Lisp-like macros
An LLM post-training framework with vLLM for RL Scaling
Storage systems with verified correctness properties
A markdown native slides tool for academics building with agents.
My AI Stand. Realtime by day, rewriting itself by night. Summon my AI superpower.
wazero: the zero dependency WebAssembly runtime for Go developers
Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable beh…
OrioleDB – building a modern cloud-native storage engine (... and solving some PostgreSQL wicked problems)
Find in Go repeated strings that could be replaced by a constant