Starred repositories
A shell script which checks your $HOME for unwanted files and directories.
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
embedded-hal abstractions for AVR microcontrollers
Lean 4 programming language and theorem prover
A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust
🎄Starter template for solving Advent of Code in Rust.
📚 Freely available programming books
CLI and Rust libraries for low-level manipulation of WebAssembly modules
EasyCrypt: Computer-Aided Cryptographic Proofs
Alternative rust compiler (re-implementation)
historical archive of rust pre-publication development
An interpreter for Rust's mid-level intermediate representation
Creusot helps you prove your code is correct in an automated fashion.
Lightning-fast and Powerful Code Editor written in Rust
The One CD for All {applications, platforms, operations}
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.
Rust / Wasm framework for creating reliable and efficient web applications
A lightweight WebAssembly runtime that is fast, secure, and standards-compliant
Subcommand to show result of macro expansion
Rust Memory Safety & Undefined Behavior Detection