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 91
License NOASSERTION
Open Issues 75
Updated 16h 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
392.9k Python
donnemartin/system-design-primer
Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.
359.1k Python
vinta/awesome-python
An opinionated list of Python frameworks, libraries, tools, and resources
310.1k Python
practical-tutorials/project-based-learning
Curated list of project-based tutorials
275.1k Python
TheAlgorithms/Python
All Algorithms implemented in Python
223.1k Python
tensorflow/tensorflow
An Open Source Machine Learning Framework for Everyone
196.5k C++

Statistics

Stars
1.3k
Forks
91
Open Issues
75
Created
Aug 29, 2017
Updated
Jul 24, 2026