birkhoff/clj-petri
Abschluss Projekt Funktionale Programmierung Petri Netze
Developer Profile
birkhoff
Discovered public repositories for birkhoff in the GitHub catalog.
birkhoff/prologBuildScript
BuildScript aiming to provide a simple way to use sicstus splfr linker
birkhoff/tychoBuildScriptTutorial
Tutorial for our RCP Build Script with tycho
birkhoff/prolog_doc_gen
Prolog Doc for ProB
birkhoff/CompilerBau
CompilerBau Abschluss Projekt
birkhoff/FastRPG
Testgame
birkhoff/prob
The ProB Model Checker and Animator
birkhoff/rcpTycho
Tycho Tutorial Jenkins Build Test
birkhoff/rcpHello
Public repository.