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 / libshield
Trustworthy Library for Secure Isolated Regions
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.
#52149810GitHub System ID
chubbymaggieOrganization / User
PublicVisibility
ActiveCatalog Status
More from chubbymaggie
chubbymaggie/sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
chubbymaggie/javascript-semantics
KJS: A Complete Formal Semantics of JavaScript
chubbymaggie/c-semantics
Semantics of C in K