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