Hacker News
- Show HN: CrossHair – SMT Assisted Testing for Python https://github.com/pschanely/CrossHair 14 comments
Lobsters
- CrossHair: A static analysis tool for Python https://github.com/pschanely/CrossHair 14 comments formalmethods , python
Linking pages
- GitHub - pschanely/contractual-semver: Contractual Semver https://github.com/pschanely/contractual-semver 23 comments
- GitHub - usagitoneko97/klara: Automatic test case generation for python and static analysis library https://github.com/usagitoneko97/klara 4 comments
- Machine Learning Toolbox https://amitness.com/toolbox/ 0 comments
- (Failing to) model python regular expressions with Z3 | by Phillip Schanely | Medium https://medium.com/@pschanely/modeling-python-regular-expressions-with-z3-fe391b7ee24 0 comments
- Refactoring Invariants • Buttondown https://buttondown.com/hillelwayne/archive/refactoring-invariants/ 0 comments
Linked pages
Related searches:
Search whole site: site:github.com
Search title: GitHub - pschanely/CrossHair: An analysis tool for Python that blurs the line between testing and type systems.
See how to search.