|
|
| 1. | | You could have invented zippers (ezyang.com) | | 1 point by xfer on May 2, 2021 | past | |
| 2. | | Quadplay Fantasy Console by CasualEffects (github.com/morgan3d) | | 1 point by xfer on March 17, 2021 | past | |
| 3. | | Swish: SWI Prolog Notebook (swi-prolog.org) | | 147 points by xfer on Oct 29, 2019 | past | 53 comments | |
| 4. | | Unison Language (unisonweb.org) | | 1 point by xfer on Oct 12, 2019 | past | |
| 5. | | A tutorial implementation of a dependently typed lambda calculus [pdf] (andres-loeh.de) | | 2 points by xfer on Sept 26, 2019 | past | |
| 6. | | Teensy 4.0 (pjrc.com) | | 2 points by xfer on Aug 9, 2019 | past | |
| 7. | | Semantics by GitHub on “Why Haskell” (github.com/github) | | 3 points by xfer on June 4, 2019 | past | |
| 8. | | Shadron – shader-based procedural graphics editor (arteryengine.com) | | 4 points by xfer on Dec 15, 2018 | past | |
| 9. | | What's new in purely functional data structures since Okasaki? (cstheory.stackexchange.com) | | 2 points by xfer on Nov 3, 2017 | past | |
| 10. | | Four Solutions to a trivial problem, Guy Steele (2015) (youtube.com) | | 2 points by xfer on Oct 19, 2017 | past | |
| 11. | | 24 Days of GHC Extensions(2014) (ocharles.org.uk) | | 1 point by xfer on Sept 19, 2017 | past | |
| 12. | | The Mezzo programming Language (2013) (protz.github.io) | | 1 point by xfer on Aug 2, 2017 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
