Konstantin Weitz

functorio. Lean

bagpipe. BGP Policy Verification

SpaceSearch. Coq

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

Wallet. Android Wallet App

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.

CoqStdlib. Coq

konne88.github.io. Homepage

WebCharts. Simple but good looking Webbrowser Chart library.

nQueens. An nQueens solver written in SpaceSearch.

slk. C

paradoxes. Coq

category-theory. Coq

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

MediaCMN. Tools to create a consistent music library.