chubbymaggie/boogie-mirror
This is a READ ONLY git mirror of the Microsoft Boogie project ( http://boogie.codeplex.com/ )
Public GitHub Catalog
Discovered Nov 3, 2026
chubbymaggie / primo
The PRIMO tool for static Intent resolution and probabilistic value inference
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.
#51912724GitHub System ID
chubbymaggieOrganization / User
PublicVisibility
ActiveCatalog Status
More from chubbymaggie
chubbymaggie/libshield
Trustworthy Library for Secure Isolated Regions
chubbymaggie/sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
chubbymaggie/javascript-semantics
KJS: A Complete Formal Semantics of JavaScript