Chad Sharp

Implementation of the Google Zero-Knowledge library for Identity Protocols.

This is check50, a command-line program with which you can check the correctness of your programs.

Low-level library for constant-time cryptography (DO NOT USE)

unofficial bitwarden cli

Lean 4 programming language and theorem prover

A system for automatically configuring mutt and isync with a simple interface and safe passwords