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 94
License NOASSERTION
Open Issues 75
Updated 1d 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
393.2k Python
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
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
1.3k
Forks
94
Open Issues
75
Created
Aug 29, 2017
Updated
Jul 28, 2026