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

OxiUI is the COOLJAPAN-blessed Pure Rust UI layer: no GTK (C), no Qt (C++), no SDL (C), no system widgets, no raw AppKit / Win32 / Cocoa bindings. It is a thin, opinionated facade over egui (immedi…

Elegant UI elements for egui

Tailwind-style utility styling for egui: per-widget hover/focus/active variants, design tokens, and composable style functions.

Context-Generic Programming: modular programming paradigm for Rust