rudymatela / conjure
Produce Haskell functions out of partial definitions
☆11Updated last week
Related projects ⓘ
Alternatives and complementary repositories for conjure
- Haskell library for doing category theory with a central role for profunctors☆18Updated this week
- Reimplementation of a subset of Cabal☆23Updated this week
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- lazy generators with observation☆15Updated last year
- ☆20Updated last year
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Automatic type class law checking.☆24Updated 11 months ago
- A modal FRP language embedded in Haskell.☆14Updated last year
- ☆25Updated 5 months ago
- Overloaded plugin☆31Updated 4 months ago
- Benchmarks for numbers: ints, doubles, bignums, rationals, etc.☆20Updated 7 years ago
- generate contextually sensible fuzz tests for servant apps☆26Updated last week
- Script to download all of Hackage☆14Updated 5 years ago
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- Applicative lexer☆13Updated 4 years ago
- ☆22Updated last year
- Combinators for manipulating dependently-typed predicates.☆12Updated 4 months ago
- A virtual memory scanner☆10Updated 10 months ago
- Generic functions for single-sorted first-order structural unification☆41Updated last week
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆33Updated 5 months ago
- A simple tool for visualising differences in Criterion benchmark results☆14Updated 4 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- Automation for releasing haskell packages☆18Updated last year
- An experiment in functional interface design☆23Updated 8 years ago
- A GHC source plugin which detects opportunities to use coerce☆17Updated 6 years ago