jcarlson23/z3
The Z3 Theorem Prover
Public GitHub Catalog
Discovered Nov 2, 2026
jcarlson23 / class-dump
Generate Objective-C headers from Mach-O files.
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.
#47902622GitHub System ID
jcarlson23Organization / User
PublicVisibility
ActiveCatalog Status
More from jcarlson23
jcarlson23/find-heartbleed
clang checker to find heartbleed
jcarlson23/decache
Extract *usable* file from the iOS dyld shared cache
jcarlson23/MBE
Course materials for Modern Binary Exploitation by RPISEC