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.

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

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.

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 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

An experimental code editor for writing algorithms

Safe code refactoring for modern Python.

CAD from a parallel universe

Infrastructure for solid modeling