poizan42/PrismModelChecker
Fork of the PRISM model checker svn repository https://www.prismmodelchecker.org/svn/prism/prism/trunk
Public GitHub Catalog
Discovered Sep 24, 2026
poizan42 / ects-striden
Episk ECTS-strid til døden (eller kandidaten).
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#726871GitHub System ID
poizan42Organization / User
PublicVisibility
ActiveCatalog Status
More from poizan42
poizan42/PSShellProvider
Public repository.
poizan42/roslyn
The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.
poizan42/Public-Archive
Public archive of material performed on stage through the life time of DIKUrevy