trailofbits/manticore
Symbolic execution tool
Python
Stars
3.9k
Forks
499
License
AGPL-3.0
Open Issues
261
Updated
2d ago
No README available
Related Projects
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
359.6k
Python
vinta/awesome-python
An opinionated list of Python frameworks, libraries, tools, and resources
310.9k
Python
practical-tutorials/project-based-learning
Curated list of project-based tutorials
275.6k
Python
trimstray/the-book-of-secret-knowledge
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
235.6k
tensorflow/tensorflow
An Open Source Machine Learning Framework for Everyone
196.6k
C++
Significant-Gravitas/AutoGPT
AutoGPT is the vision of accessible AI for everyone, to use and to build on. Our mission is to provide the tools, so that you can focus on what matters.
185.7k
Python
Statistics
- Stars
- 3.9k
- Forks
- 499
- Open Issues
- 261
- Created
- Feb 10, 2017
- Updated
- Jul 27, 2026