delcypher/heap-shot
Public repository.
Public GitHub Catalog
Discovered Oct 7, 2026
delcypher / smack
SMACK: A Bounded Software Verifier for C Programs
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.
#35739550GitHub 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.