- All languages
- ANTLR
- Assembly
- Bluespec
- C
- C#
- C++
- CSS
- Common Lisp
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- Gherkin
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Lean
- Lua
- MDX
- MLIR
- Makefile
- Mojo
- Mustache
- Nix
- OCaml
- Objective-C
- P4
- PHP
- Perl
- PowerShell
- Python
- R
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Solidity
- Standard ML
- SystemVerilog
- Tcl
- TeX
- TypeScript
- V
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Yacc
Starred repositories
A package that lets you create TradingView screeners in Python
Lean Algorithmic Trading Engine by QuantConnect (Python, C#)
A PyTorch native platform for training generative AI models
Madness enables you to easily run the same binary on NixOS and non-NixOS systems
A collection of lightweight interpretability scripts to understand how LLMs think
Neural network graphs and training metrics for PyTorch, Tensorflow, and Keras.
đź’« Toolkit to help you get started with Spec-Driven Development
The best way to get AI coding agents to solve hard problems in complex codebases.
This repository contains companion software for the Colfax Research paper "Categorical Foundations for CuTe Layouts".
A Next-Generation Training Engine Built for Ultra-Large MoE Models
Like Vercel, but open source and for all languages.
fastai V2 implementation of Timeseries classification papers.
A library that integrates huggingface transformers with the world of fastai, giving fastai devs everything they need to train, evaluate, and deploy transformer specific models.
A sleek dataset viewer built entirely by AI Agent. Supports streaming large files from WebDAV, S3, SSH, Local or Hugging Face.
[NeurIPS 2025 Spotlight] Reasoning Environments for Reinforcement Learning with Verifiable Rewards
See what's happening on GitHub in real time (also helpful if you need to use up your API quota as quickly as possible)
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Paper2Agent is a multi-agent AI system that automatically transforms research papers into interactive AI agents with minimal human input.
Run any GUI app in the terminalâť—
Python tool for converting files and office documents to Markdown.
Code for the 9/6 Hackathon
The most powerful and modular diffusion model GUI, api and backend with a graph/nodes interface.