pschanely/CrossHair
View on GitHub ↗ ★ 1,341 Python
An analysis tool for Python that blurs the line between testing and type systems.
11 mentions on Hacker News by 9 people: 3 stories, 8 comments · first 2020-01-15 · latest 2026-03-17
20082026
-
▲ 1
CrossHair: Analysis [Python] that blurs the line between testing and [types]story by 082349872349872 · 2024-12-24 · 0 comments
-
▲ 4
Diff the behavior of two Python functionsstory by ColinWright · 2021-01-18 · 0 comments
-
▲ 97
Show HN: CrossHair – SMT Assisted Testing for Pythonstory by pschanely · 2020-01-15 · 14 comments