haskell / hooplLinks
Higher-order optimization library
☆76Updated 2 years ago
Alternatives and similar repositories for hoopl
Users that are interested in hoopl are comparing it to the libraries listed below
Sorting:
- Map lazy functional language constructs to LLVM IR☆50Updated 6 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆45Updated 2 years ago
- PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.☆82Updated 3 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- An enhanced unification algorithm for Coq