- All languages
- ActionScript
- Assembly
- C
- C#
- C++
- CSS
- Chapel
- CodeQL
- CoffeeScript
- Common Lisp
- Coq
- Dhall
- Dockerfile
- Eiffel
- Elm
- Emacs Lisp
- Erlang
- F#
- F*
- Go
- HCL
- HTML
- Haskell
- Idris
- Isabelle
- Java
- JavaScript
- Jsonnet
- Jupyter Notebook
- Koka
- Kotlin
- LLVM
- Lean
- Lua
- Makefile
- Markdown
- OCaml
- PHP
- PostScript
- PowerShell
- Processing
- Prolog
- PureScript
- Python
- Reason
- Red
- Rocq Prover
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Shell
- Shen
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- VHDL
- Vala
- Vue
- Zig
Starred repositories
π¦ Small exercises to get you used to reading and writing Rust code!
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
A syntax-highlighting pager for git, diff, grep, and blame output
egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics β featuring node-based procedural editing
π¦ Fast, lightweight & schema-less search backend. An alternative to Elasticsearch that runs on a few MBs of RAM.
π Fast, secure, lightweight containers based on WebAssembly
π₯§ Savoury implementation of the QUIC transport protocol and HTTP/3
An operating system designed for hosting containers
A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely π¦ ππ
Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.
It's a New Kind of Wrapper for Exposing LLVM (Safely)
A rusty dynamically typed scripting language
Command line tool for generating and working with MIDI files.
Cargo Lambda is a Cargo subcommand to help you work with AWS Lambda.
Ruby bindings for Rust. Write Ruby extension gems in Rust, or call Ruby from Rust.
Research prototype tool for modular formal verification of C, Rust and Java programs