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)

A statically typed language compatible with Python

A safe, easy systems language

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.

🚀 The blazing fast build tool for Rust.

LR(1) parser generator for Rust

Lightning-fast and Powerful Code Editor written in Rust

The One CD for All {applications, platforms, operations}

Safe Rust bindings to POSIX-ish APIs

Compile-time reference counting

mold: A Modern Linker 🦠

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.

A Rust compiler front-end for IDEs

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

Compile time static maps for Rust

Rust Memory Safety & Undefined Behavior Detection