chubbymaggie/RE-for-beginners
"Reverse Engineering for Beginners" free book
Public GitHub Catalog
Discovered Sep 29, 2026
chubbymaggie / CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#16393191GitHub System ID
chubbymaggieOrganization / User
PublicVisibility
ActiveCatalog Status
More from chubbymaggie
chubbymaggie/amoco
yet another tool for analysing binaries
chubbymaggie/radare2
unix-like reverse engineering framework and commandline tools
chubbymaggie/js-astify
Convert JavaScript objects to AST, then to code. Build new code like playing with legos.