Runtime polymorphism done right

A framework for making thin and light Linux based images for x86 based machines and thinclients.

Rust version of the "Performance with stencil" course's examples

Examples of the Gray-Scott model

It's a Virtual Machine App for Android Which is Based on QEMU

Kani VSCode Extension

Creusot helps you prove your Rust code is correct.

The Serenity Operating System 🐞

Symbolic math library and computer algebra system for Rust

Рассказы про низко- и разноуровневое

Rust virtual machine and JIT compiler for eBPF programs

RRDtool 1.x - Round Robin Database

Rust Learning Resources

magic-trace collects and displays high-resolution traces of what a process is doing

List of Rust books

An app that brings language models directly to your phone.

Refinement Types in (unstable) Rust

Technical debt and risk analyzer that predicts bug hotspots by combining cognitive complexity, pattern recognition, coverage gaps, information theory, and git history.

Curated list of resources for Embedded and Low-level development in the Rust programming language

859 OCaml to Rust translations — functional programming patterns in idiomatic Rust

Run frontier MoE models on hardware you already own — pure C, zero deps, experts streamed from disk. Tiny engine, immense model. 🐦

🦀 How to minimize Rust binary size 📦 https://github.com/johnthagen/min-sized-rust

2D/3D renderer - makes it simple to draw stuff across platforms (including web)

Interactive 3D mathematical graphing application

Claude Code with a read-only GitHub token — every push, PR, and comment waits in a human-approved queue.

Yet another ScyllaDB Rust driver, but faster

Compile-time brainfuck interpreter written in Rust using some unstable nightly features

Simple compile-time raytracer using C++17

Compile-Time Ray Tracer in Rust ported from C++

Malfunctional Programming