delcypher/smack
SMACK: A Bounded Software Verifier for C Programs
Public GitHub Catalog
Discovered Oct 7, 2026
delcypher / heap-shot
Public repository discovered through GitHub real-time crawl.
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.
#35185583GitHub System ID
delcypherOrganization / User
PublicVisibility
ActiveCatalog Status
More from delcypher
delcypher/freeboogie
Automatically exported from code.google.com/p/freeboogie
delcypher/boogie
Boogie
delcypher/mono
Mono open source ECMA CLI, C# and .NET implementation.