Hacker News
- Mazeppa: A modern supercompiler for call-by-value functional languages https://github.com/mazeppa-dev/mazeppa 18 comments
- Mazeppa: A modern supercompiler for call-by-value functional languages https://github.com/mazeppa-dev/mazeppa 8 comments programminglanguages
Linked pages
- Why is Idris 2 so much faster than Idris 1? - Edwin Brady https://www.type-driven.org.uk/edwinb/why-is-idris-2-so-much-faster-than-idris-1.html 148 comments
- Knuth–Morris–Pratt algorithm - Wikipedia https://en.wikipedia.org/wiki/Knuth%E2%80%93Morris%E2%80%93Pratt_algorithm 134 comments
- Church encoding - Wikipedia http://en.wikipedia.org/wiki/Church_encoding 58 comments
- Solving SAT via Positive Supercompilation https://hirrolot.github.io/posts/sat-supercompilation.html 46 comments
- Exponentiation by squaring - Wikipedia http://en.wikipedia.org/wiki/Exponentiation_by_squaring#Basic_method 21 comments
- BER MetaOCaml http://okmij.org/ftp/ML/MetaOCaml.html 15 comments
- Checking Dependent Types with Normalization by Evaluation: A Tutorial https://davidchristiansen.dk/tutorials/nbe/ 0 comments
- Valentin Turchin - Wikipedia https://en.wikipedia.org/wiki/Valentin_Turchin 0 comments
Related searches:
Search whole site: site:github.com
Search title: GitHub - mazeppa-dev/mazeppa: A modern supercompiler for call-by-value functional languages
See how to search.