Explore projects
-
loutr / Proost
GNU General Public License v3.0 or laterA simple proof assistant written in Rust
Updated -
Updated
-
Updated
-
mediatek / site-kwei
MIT LicenseUpdated -
aeltheos / site-kwei
MIT LicenseUpdated -
Updated
-
Archived 1Updated
-
Nounous / Crans Passwords
GNU General Public License v3.0 onlyThis is a centralized passwords manager, using GPG for protection, and allowing shared passwords to groups.
Updated