nikivazou / EquationalReasoningInLiquidHaskellLinks
Derivation of Optimized Definitions Based on Specs
☆14Updated 6 years ago
Alternatives and similar repositories for EquationalReasoningInLiquidHaskell
Users that are interested in EquationalReasoningInLiquidHaskell are comparing it to the libraries listed below
Sorting:
- Dependently typed Algorithm M and friends☆26Updated 7 years ago
- Hedgehog will eat your typeclass bugs☆57Updated 7 months ago
- A simple combinator library☆30Updated 7 years ago
- Tools for functors from Hask^k to Hask☆23Updated 6 years ago
- Dual Traversable☆41Updated 2 weeks ago
- being the emperor of Mongo, but also a verb☆15Updated 7 years ago
- Type Theory with Indexed Equality☆26Updated 8 years ago
- Bidirectional programming in Haskell with monadic profunctors☆48Updated 3 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 7 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- Self-contained repository for the eponymous paper☆30Updated 7 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- JHC Haskell compiler split into reusable components☆57Updated 7 years ago
- A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with al…☆16Updated 8 years ago
- being the programs and code for a paper about general recursion☆26Updated 10 years ago
- System F implemented in Haskell☆24Updated 13 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 7 years ago
- Session Types with Priority in Linear Haskell☆27Updated last year
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…☆21Updated 6 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Updated 4 years ago
- Agda-style equational reasoning in Haskell☆54Updated last week
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 4 years ago
- A monad, perhaps.☆32Updated 5 years ago
- Haskell library for PDF generation (graphics and typesetting)☆27Updated 6 years ago
- Funny little Haskell impl☆18Updated 5 years ago
- Evaluate special comments in your program on file save.☆39Updated 5 years ago
- Where my everyday research happens☆55Updated 2 weeks ago
- Haskell Type Level Example Programs☆28Updated 8 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45Updated 3 years ago