Stars
- All languages
- Assembly
- AutoHotkey
- Batchfile
- C
- C#
- C++
- CMake
- CSS
- CoffeeScript
- Common Lisp
- Coq
- Cython
- D
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- F#
- F*
- Go
- HTML
- Haskell
- Haxe
- Idris
- Ink
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lua
- MATLAB
- MDX
- MLIR
- Makefile
- Markdown
- Nim
- Nix
- Nushell
- OCaml
- Objective-J
- PHP
- Pascal
- Pike
- PowerShell
- Processing
- PureScript
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Starlark
- Svelte
- Swift
- SystemVerilog
- TSQL
- TeX
- TypeScript
- Typst
- Vala
- Verilog
- Vim Script
- Vue
- WebAssembly
- Xmake
- Yacc
- Zig
Convert JavaScript to WebAssembly components using QuickJS
A collection of DESIGN.md files analysis by popular brand design systems. Drop one into your project and let coding agents generate a matching UI.
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
Turn 1000+ software packages into unified AI-callable interfaces
A toolkit for enforcing logical specifications on neural networks
A concurrent systems language with a model-checked, GC-free runtime — typed message-bus concurrency, data-race-free by design.
An open source, self-hosted implementation of the Tailscale control server
A rust interface to the streaming claude codes json terminal api.
Nyx is a high fidelity, fast, reliable and validated astrodynamics toolkit library written in Rust and available in Python
Forge once. Run everywhere - universal tool compiler for AI agents.
A from-scratch statically-compiled programming language with Python-like syntax, built in Python. Features a production lexer with INDENT/DEDENT injection, Pratt expression parser, span-annotated A…
Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.
Open source agentic build system - transforms specifications into verified source code with blind adversarial review
AI coding agent orchestration platform — dispatches Linear issues to Claude, Codex, and Gemini agents in isolated git worktrees
Database-Backed Durable TypeScript Workflows
SWE-bench: Can Language Models Resolve Real-world Github Issues?
Pure 🦀 Rust audio time-stretching library optimized for electronic dance music.
🔶 Build beautiful terminal tables with automatic content wrapping
Rust implementation of Qwen3-ASR automatic speech recognition