|
|
| 1. | | ZIO for Python: An Unofficial and Plucky Port of Scala ZIO (github.com/miiohio) | | 3 points by harveywi on March 15, 2021 | past | |
| 2. | | Succinct/compact/compressed data structures for data-intensive Python programs (github.com/miiohio) | | 7 points by harveywi on July 14, 2020 | past | 4 comments | |
| 3. | | EvenOdd in Agda, Idris, Haskell, Scala (brianmckenna.org) | | 1 point by harveywi on Aug 24, 2016 | past | |
| 4. | | The Gauss-Jordan-Floyd-Warshall-McNaughton-Yamada Algorithm (r6.ca) | | 1 point by harveywi on June 5, 2016 | past | 1 comment | |
| 5. | | Leon: An automated system for verifying Scala code, now with support for Isabelle (groups.google.com) | | 9 points by harveywi on Oct 2, 2015 | past | |
| 6. | | Java Code Generator for Idris (github.com/idris-hackers) | | 34 points by harveywi on Sept 17, 2015 | past | 3 comments | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
