poizan42/PrismModelChecker
Fork of the PRISM model checker svn repository https://www.prismmodelchecker.org/svn/prism/prism/trunk
Public GitHub Catalog
Discovered Oct 20, 2026
poizan42 / roslyn
The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.
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.
#40758565GitHub System ID
poizan42Organization / User
PublicVisibility
ActiveCatalog Status
More from poizan42
poizan42/PSShellProvider
Public repository.
poizan42/Public-Archive
Public archive of material performed on stage through the life time of DIKUrevy
poizan42/keyla
Automatically exported from code.google.com/p/keyla