Potatodev's Developer Atlas

pschanely/CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

View on GitHub
Python
Stars 1.4k
Forks 105
License NOASSERTION
Open Issues 76
Updated 8h ago
concolic-execution contracts dynamic-analysis fuzzing hacktoberfest python static-analysis symbolic-execution testing testing-framework type-systems z3

No README available

Related Projects

morluto/rea
Reverse engineer anything with agents, from app behavior down to native binaries.
456.9k TypeScript
EbookFoundation/free-programming-books
:books: Freely available programming books
401.5k Python
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
TheAlgorithms/Python
All Algorithms implemented in Python
226.1k Python

Statistics

Stars
1.4k
Forks
105
Open Issues
76
Created
Aug 29, 2017
Updated
Nov 13, 2026