birkhoff/clj-petri
Abschluss Projekt Funktionale Programmierung Petri Netze
Public GitHub Catalog
Discovered Sep 27, 2026
birkhoff / prologBuildScript
BuildScript aiming to provide a simple way to use sicstus splfr linker
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.
#10335644GitHub System ID
birkhoffOrganization / User
PublicVisibility
ActiveCatalog Status
More from birkhoff
birkhoff/tychoBuildScriptTutorial
Tutorial for our RCP Build Script with tycho
birkhoff/prolog_doc_gen
Prolog Doc for ProB
birkhoff/CompilerBau
CompilerBau Abschluss Projekt