Highlights
- Pro
Stars
- All languages
- ATS
- Agda
- Assembly
- Batchfile
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Crystal
- Dafny
- Dockerfile
- Elm
- Emacs Lisp
- Erlang
- F*
- Frege
- Go
- Grammatical Framework
- HTML
- Haskell
- Idris
- Janet
- Java
- JavaScript
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- LiveScript
- Lua
- MATLAB
- Makefile
- Mathematica
- Nearley
- Nix
- Nunjucks
- OCaml
- Objective-C
- Opa
- OpenSCAD
- Perl
- PostScript
- Prolog
- PureScript
- Python
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SMT
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- SystemVerilog
- TeX
- TypeScript
- UrWeb
- Vim Script
- Visual Basic
- Visual Basic .NET
- wisp
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
Lightning-fast and Powerful Code Editor written in Rust
Rust / Wasm framework for creating reliable and efficient web applications
An incremental parsing system for programming tools
Adds static typing to JavaScript to improve developer productivity and code quality.
Turso is an in-process SQL database, compatible with SQLite.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
bloop is a fast code search engine written in Rust.
Boa is an embeddable Javascript engine written in Rust.
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
[Chumsky has moved to Codeberg!] Write expressive, high-performance parsers with ease.
Subcommand to show result of macro expansion
Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
Interactive visualizations of Rust at compile-time and run-time
Fancy extension for std::error::Error with pretty, detailed diagnostic printing.
A small rust library for adding custom derives to enums
Heapless, `static` friendly data structures
A text editor in ≤1024 lines of code, written in Rust
A static verifier for Rust, based on the Viper verification infrastructure.
egg is a flexible, high-performance e-graph library