| | CrossHair: Analysis [Python] that blurs the line between testing and [types] (github.com/pschanely) |
| 1 point by aebtebeten on Dec 24, 2024 | past |
|
| | Diff the behavior of two Python functions (github.com/pschanely) |
| 4 points by ColinWright on Jan 18, 2021 | past |
|
| | Show HN: CrossHair – SMT Assisted Testing for Python (github.com/pschanely) |
| 97 points by pschanely on Jan 15, 2020 | past | 14 comments |
|
| | Show HN: A database index optimized for custom scoring functions (github.com/pschanely) |
| 17 points by pschanely on Jan 26, 2016 | past | 1 comment |
|
| | [dupe] Show HN: Proof-of-concept demo of a functional language IDE for touch devices (github.com/pschanely) |
| 30 points by pschanely on Sept 23, 2015 | past | 2 comments |
|
| | Show HN: A stack-based pure functional language for touch devices (github.com/pschanely) |
| 77 points by pschanely on Sept 22, 2015 | past | 19 comments |
|
| | ShrimpDB: a powerful embedded database in 227 lines of Python (github.com/pschanely) |
| 3 points by madkangas on Nov 8, 2012 | past |
|
