Explore projects

A simple proof assistant written in Rust

Minimal operating system

My fork of Proost.

This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.