bollu / simplexhcLinks
compiler with polyhedral optmization for a lazy functional programming language
☆68Updated 7 years ago
Alternatives and similar repositories for simplexhc
Users that are interested in simplexhc are comparing it to the libraries listed below
Sorting:
- Hopefully verifiable code generation in GHC☆94Updated 8 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Dive into GHC☆82Updated 8 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 10 months ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Higher-order optimization library☆74Updated last year
- Fork of official GHC repository.☆44Updated last year
- Monad Transformers and Classes☆76Updated 5 years ago
- Haskell 98 contravariant functors☆73Updated 8 months ago
- Unpacked containers using backpack☆52Updated 5 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆78Updated 5 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- An alternate definition of Haskell's Functor typeclass☆42Updated 6 years ago
- Another implementation of Frank.☆70Updated 7 years ago
- Various data structures for use in the Idris Language.☆95Updated 5 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Difference lists in Haskell☆65Updated 11 months ago
- ☆41Updated 7 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Recursion schemes for Idris☆65Updated 6 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Automatically exported from code.google.com/p/trellys☆47Updated 5 years ago
- Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor☆79Updated last week
- A language based on homotopy type theory with an interval☆83Updated 10 years ago
- A magic typeclass that just does it☆124Updated 2 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆53Updated 8 years ago
- A collection of Notes on GHC☆69Updated 6 years ago
- Compact regions library for Haskell☆82Updated 11 months ago