- All languages
- Agda
- Assembly
- Boogie
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- D
- Dafny
- Dhall
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Forth
- Go
- HCL
- HTML
- Hack
- Handlebars
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Less
- Makefile
- Markdown
- NewLisp
- Nix
- Nunjucks
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Perl
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- R
- Racket
- Ragel
- ReScript
- Red
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Shen
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- UrWeb
- Verilog
- Vim Script
- XSLT
Starred repositories
Emacs Lisp bindings for tree-sitter
A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀
Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides
Build terminal user interfaces and dashboards using Rust
Runtime for executing procedural macros as WebAssembly
Hypothesis-like property testing for Rust
Facilitating high-level interactions between Wasm modules and JavaScript
Zero-cost ultra-high-performance declarative DOM library using FRP signals for Rust!
An example implementation that creates an event queue based on Kqueue, Epoll and IOCP
Community showcase and examples of Actix Web ecosystem usage.
A collection of lower-level libraries for composable network services.
Actix Web is a powerful, pragmatic, and extremely fast web framework for Rust.
Rust library for reading the Linux procfs filesystem
JIT compiler and runtime for a toy language, using Cranelift
A list of rust lang mentors tagged by topics of interest
Ported to Rust from https://mattwarren.org/2019/03/01/Is-CSharp-a-low-level-language/
A command-line tool to generate, analyze, convert and manipulate colors
Spotify for the terminal written in Rust 🚀
⚙️ Layered configuration system for Rust applications (with strong support for 12-factor applications).
A static verifier for Rust, based on the Viper verification infrastructure.
A Rust crate for a Bucket Queue data structure that can be used as a Priority Queue.
The Sentient Programming Language.