embedded-hal abstractions for AVR microcontrollers

Rust library for controlling HD44780-based character displays using I2C adapters.

Experimental crate to print panic messages via UART on embedded targets

A safe, concurrent, practical language.

The Rust Reference

An interactive Agda tutorial

Test cases for Writing a C Compiler

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Rust library to create a Good Game Easily

Security advisory database for Rust crates published through crates.io

Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need

Cross-platform game engine in Rust.

ALSA Use Case Manager configuration

A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/

Hosts the website for mathlib and other Lean community infrastructure.

JS runtime lolz

The Lean reference manual

Resource-efficient 16-bit CPU architecture for FPGA control plane

End-to-end synthesis and P&R toolchain

CLI tool for creating and verifying problem packages for sio2