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