birkhoff/clj-petri
Abschluss Projekt Funktionale Programmierung Petri Netze
Public GitHub Catalog
Discovered Sep 25, 2026
birkhoff / prob
The ProB Model Checker and Animator
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#3636414GitHub System ID
birkhoffOrganization / User
PublicVisibility
ActiveCatalog Status
More from birkhoff
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