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 / c-semantics
Semantics of C in K
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.
#52139197GitHub 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