rudymatela / conjure
Produce Haskell functions out of partial definitions
☆12Updated last month
Alternatives and similar repositories for conjure:
Users that are interested in conjure are comparing it to the libraries listed below
- Reimplementation of a subset of Cabal☆26Updated last month
- An efficient graph library for Haskell☆39Updated 8 months ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- Haskell library for doing category theory with a central role for profunctors☆21Updated 3 weeks ago
- ☆26Updated 3 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 weeks ago
- Haskell counters that can be safely incremented from multiple threads☆19Updated 4 months ago
- Automation for releasing haskell packages☆18Updated last year
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Small implementation of OutsideIn(X) type checking algorithm☆31Updated 10 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- Dependently typed elimination functions using singletons☆28Updated 3 months ago
- the dynabook but for haskell☆23Updated 5 years ago
- Compiler backend for generating Scheme code☆26Updated last year
- Invertible parsing for S-expressions☆34Updated 3 weeks ago
- Linear map categories in Agda☆5Updated last year
- Classes for types where we know all the values☆39Updated 3 months ago
- Fine-grained lattice primitives for Haskell☆37Updated 2 months ago
- Automatic type class law checking.☆24Updated 3 months ago
- Overloaded plugin☆30Updated 10 months ago
- Staged Streams and other stuff☆18Updated 2 years ago
- Agda-style equational reasoning in Haskell☆53Updated 3 weeks ago
- A special-purpose processor for pure, non-strict functional languages☆28Updated 3 months ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 5 years ago
- A library to profile time in a Haskell program☆17Updated 11 months ago
- being bits and pieces I'm inclined to leave lying around☆49Updated 4 months ago
- topos programming☆31Updated 6 years ago
- Generic functions for single-sorted first-order structural unification☆43Updated 3 weeks ago
- Funny little Haskell impl☆18Updated 4 years ago