This is your work, valued

Konstantin Weitz

Advanced
@konne88

functorio. Lean

292

bagpipe. BGP Policy Verification

26

SpaceSearch. Coq

9

Brainfuck-Processor. A simple brainfuck processor implemented in VHDL.

7

Wallet. Android Wallet App

5

Lotse. Visualizes GPS information. Features points of interests, wayfinding (without a map) and a cool visual radar overview. Great for geocaching, not so great for driving.

4

CoqStdlib. Coq

2

konne88.github.io. Homepage

2

WebCharts. Simple but good looking Webbrowser Chart library.

2

nQueens. An nQueens solver written in SpaceSearch.

1

slk. C

1

paradoxes. Coq

1

category-theory. Coq

1

MyInventory. Gtk and C# based application allowing you to keep track of all the things you own.

1

MediaCMN. Tools to create a consistent music library.

1