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.3k
Forks 98
License NOASSERTION
Open Issues 75
Updated 2d ago
concolic-execution contracts dynamic-analysis fuzzing hacktoberfest python static-analysis symbolic-execution testing testing-framework type-systems z3

No README available

Related Projects

EbookFoundation/free-programming-books
:books: Freely available programming books
397.0k Python
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
370.4k Python
vinta/awesome-python
The definitive list that answers "I want to do X in Python, which tool should I use?"
321.1k Python
practical-tutorials/project-based-learning
Curated list of project-based tutorials
283.6k Python
TheAlgorithms/Python
All Algorithms implemented in Python
224.6k Python
tensorflow/tensorflow
An Open Source Machine Learning Framework for Everyone
200.1k C++

Statistics

Stars
1.3k
Forks
98
Open Issues
75
Created
Aug 29, 2017
Updated
Sep 15, 2026