| | chess.el (github.com/jwiegley) |
| 1 point by tosh on Sept 10, 2020 | past |
|
| | A formalization of category theory in Coq (github.com/jwiegley) |
| 109 points by noch on Aug 4, 2017 | past | 33 comments |
|
| | A formalization in Coq of the Haskell pipes library (github.com/jwiegley) |
| 73 points by lelf on July 9, 2015 | past | 6 comments |
|
| | Ledger: Command-line double-entry accounting (github.com/jwiegley) |
| 57 points by mbrubeck on Oct 9, 2009 | past | 14 comments |
|
