We all edit.

Verified Rust for low-level systems code

Illegal rust

Rust without the borrow checker

Simple expression transformer that is not Coq.

An interface between an Arduino Due or Arduino GIGA and 8088, 8086, V20, V30, 186 or 286 CPUs

Alternative Mizar proof checker (http://mizar.org/) written in Rust

Just for fun riscv64 emulator, which boots the Linux.

langserver client for acme in rust

A simple prolog implementation in Rust

A client for Ace of Spades implemented in rust.