trailofbits/manticore
Symbolic execution tool
Python
Stars
3.9k
Forks
495
License
AGPL-3.0
Open Issues
261
Updated
7d ago
No README available
Related Projects
morluto/rea
Reverse engineer anything with agents, from app behavior down to native binaries.
456.9k
TypeScript
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
377.8k
Python
vinta/awesome-python
The definitive list that answers "I want to do X in Python, which tool should I use?"
334.5k
Python
practical-tutorials/project-based-learning
Curated list of project-based tutorials
289.7k
Python
trimstray/the-book-of-secret-knowledge
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
258.2k
TheAlgorithms/Python
All Algorithms implemented in Python
226.1k
Python
Statistics
- Stars
- 3.9k
- Forks
- 495
- Open Issues
- 261
- Created
- Feb 10, 2017
- Updated
- Nov 06, 2026