Minimal operating system
IRC bot to learn Rust programming language
My toy tests with the RUST programming language.
A simple proof assistant written in Rust
My fork of Proost.