a model of MIR and the Rust type/trait system

A flight-compliant WebAssembly interpreter.

Running DOOM on my own OS from scratch

A homebrew 16-bit CPU with a homebrew Unix-like-ish operating system.

A playground for programming language ideas.

Generate type-checked Rust from your PostgreSQL.

Handheld RISC-V Mini Game Console with OLED Display

HTTP routing and request-handling library for Rust that focuses on ergonomics and modularity

Library of 45+ independent Lua modules improving Neovim experience with minimal effort

Beginner, advanced, expert level Rust training material

Talos Programming Language

A blazingly fast Git stacking tool

A custom programming language which compiles to the well-known esolang "Brainfuck".

A book-in-progress about the Linux kernel and its insides.

🧟 Inject bugs and see if your tests catch them!

🍄 an alleged 'operating system'

cat monitoring system

What if salsa but tokio-friendly

CLI, Web, LSP, and MCP toolkit to measure spec coverage in Rust codebases

Illegal rust

Frequently asked questions about Entity Component Systems

A language for the joy of programming

The Mir compositor

A very fast linker for Linux

rust stackful coroutine library

A command-line tool for managing and organizing AI assistant instruction files across different environments and formats. Built with Go and featuring a modern terminal user interface.

A meta-language for Go that adds Result types, error propagation (?), and pattern matching while maintaining 100% Go ecosystem compatibility

Rust Linux-compatible kernel

Low-level unprivileged sandboxing tool used by Flatpak and similar projects