rudymatela / conjure
Produce Haskell functions out of partial definitions
☆11Updated this 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
- ☆25Updated 5 months ago
- An efficient graph library for Haskell☆39Updated 3 months ago
- Building a calculator with Reflex-FRP☆10Updated 2 years ago
- Automation for releasing haskell packages☆18Updated last year
- Automatic type class law checking.☆24Updated 11 months ago
- Staged Streams and other stuff☆18Updated 2 years ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Overloaded plugin☆31Updated 5 months ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Memory-efficient representation of Unicode text strings☆22Updated 4 months ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Updated 6 years ago
- ☆20Updated last year
- A port of the gloss library from Haskell to Idris☆22Updated 6 years ago
- Haskell counters that can be safely incremented from multiple threads☆17Updated last year
- Leightweight generalized parser combinators☆17Updated 11 months ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- Existential type.☆36Updated 6 months ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆13Updated last year
- Functor-parametric containers☆18Updated last month
- Dependently typed elimination functions using singletons☆28Updated 3 weeks ago
- Haskell project statistics and definition analysis☆15Updated last year
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆31Updated 2 years ago
- Codo notation for programming with comonads in Haskell☆26Updated 3 years ago
- Logic Explorer - customizable proof construction tool for sequent calculi☆20Updated 2 years ago
- Generic functions for single-sorted first-order structural unification☆41Updated this week
- ☆22Updated last year
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago