Crush is a command line shell that is also a powerful modern programming language.

A text editor in ≤1024 lines of code, written in Rust

A static verifier for Rust, based on the Viper verification infrastructure.

A modern text editor for the terminal written in Rust

LLVM tutorial in Rust language

An Erlang VM implementation in Rust

A dynasm-like tool for rust.

Refinement Types for Rust

Lisp dialect scripting and extension language for Rust programs

Steam Play compatibility tool to run games using native Linux engines

A big 'ol pile of ICE.

♒︎ [WIP] An experimental ~distributed~ commit-log

My own personal code editor built with Rust + OpenGL

Concurrent ART (adaptive radix tree)