Henrik Böving

icon indicating an email [email protected]

icon company Lean FRO icon location Munich, Germany

Results 3 repositories owned by Henrik Böving

cpdt-lean

9
Stars
0
Forks
Watchers

Lean implementations of things found in Certified Programming with Dependent Types

verified publisher icon hargoniX

hm-asm

6
Stars
3
Forks
Watchers

A small assembler I wrote for use with the microprocessor from the Book "Grundlagen der Technische Informatik"

verified publisher icon hargoniX

keepassxc-proxy-client

28
Stars
8
Forks
Watchers

A client for keepassxc-proxy so passwords can easily be requested via CLI

verified publisher icon hargoniX