This is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.
A simple proof assistant written in Rust
Nixos configuration
My fork of Proost.
Minimal operating system