svenkeidel/monto-broker
Upstream is at https://github.com/monto-editor/broker
Developer Profile
svenkeidel
Discovered public repositories for svenkeidel in the GitHub catalog.
svenkeidel/stream-bench
Benchmarks for Stream Datatypes
svenkeidel/congruence-closure
Computes the congruence closure of formulas of uninterpreted function symbols
svenkeidel/gnome-citadel
Simulation game inspired by Dwarf Fortress
svenkeidel/Samegame
Public repository.
svenkeidel/GdI-2-SS2011
Public repository.
svenkeidel/GdI-1-SS2010-Scheme
Public repository.