cargo subcommand showing the assembly, LLVM-IR and MIR generated for Rust code

Lints for kernel or embedded system development.

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Implementation in C of the Smart Message Language (SML) protocol

collection of SML messages/telegrams from Smart Meters

A memory profiler for Linux.

Educational blog posts for Rust beginners

Log defmt messages over the serial port.

Benchmark of map (associative array) implementations in C++ and Rust

The Rust Performance Book

Rust library for displays using the ST7735 driver

An experimental serialization system written in Rust

A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀

This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.

Serde serializable and deserializable trait objects

Stackless generators on stable Rust.

Runtime for executing procedural macros as WebAssembly

A multi-syntax functional programming language that compiles to WebAssembly.

Content-addressed, authenticated, immutable data structures

Semantic code navigation for Rust

A friendly programming language from the future

An incremental parsing system for programming tools

Free monospaced font with programming ligatures

A fast, bump-allocated virtual DOM library for Rust and WebAssembly.

A Python Interpreter written in Rust

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

Experiment in structural code editing

Empowering everyone to build reliable and efficient software.

Python environment comparison tool