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 / jsx86
x86 vm in JavaScript
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.
#1523887GitHub 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