[email protected]
Lean FRO Munich, Germany
Henrik Böving
Lean implementations of things found in Certified Programming with Dependent Types
hargoniX
A small assembler I wrote for use with the microprocessor from the Book "Grundlagen der Technische Informatik"
A client for keepassxc-proxy so passwords can easily be requested via CLI
