| | Pyano: A formalization of first-order logic and Peano's axioms in Python (github.com/sanjoy) |
| 1 point by sanjoy_das on June 27, 2023 | past |
|
| | Show HN: small lisp interpreter in Haskell (github.com/sanjoy) |
| 25 points by thedigitalengel on Jan 13, 2012 | past | 4 comments |
|
| | Painless Command Line Argument Parsing in C (github.com/sanjoy) |
| 10 points by thedigitalengel on Nov 16, 2010 | past | 5 comments |
|
