rudymatela / conjureLinks
Produce Haskell functions out of partial definitions
☆12Updated last week
Alternatives and similar repositories for conjure
Users that are interested in conjure are comparing it to the libraries listed below
Sorting:
- An efficient graph library for Haskell☆39Updated last month
- Reimplementation of a subset of Cabal☆30Updated 3 weeks ago
- Haskell library for doing category theory with a central role for profunctors☆21Updated last week
- Haskell counters that can be safely incremented from multiple threads☆19Updated 7 months ago
- GHC plugin to branch on whether a constraint is satisfied☆33Updated 3 months ago
- Automation for releasing haskell packages☆18Updated 2 years ago
- ☆26Updated 6 months ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- the dynabook but for haskell☆23Updated 5 years ago
- A Galilean revolution for computing: Unboundedly scalable reliability and efficiency☆15Updated last year
- lazy generators with observation☆14Updated last year
- It's Data.Graph, but it doesn't suck!☆16Updated 4 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated 10 months ago
- Agda-style equational reasoning in Haskell☆53Updated 3 months ago
- Constructs FAlgebras from typeclasses, making Haskell functions homoiconic☆18Updated 6 years ago
- Markup language on top of Haskell☆12Updated 8 months ago
- Haskell implementation of data structures for data science☆22Updated this week
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 7 years ago
- Automatic testing of Haskell programs.☆13Updated last month
- Game NetCode Solved☆25Updated 4 years ago
- A special-purpose processor for pure, non-strict functional languages☆28Updated 6 months ago
- Formal specification of the Haskell Language Report☆17Updated last week
- Fine-grained lattice primitives for Haskell☆37Updated 2 weeks ago
- A formalization of finite, constructive log analysis using linear temporal logic☆22Updated last month
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Updated 5 years ago
- Classes for types where we know all the values☆39Updated 6 months ago
- Refactorio is a tool with which you build and maintain software.☆19Updated last year
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Simple reflection of expressions☆33Updated 4 years ago
- Leightweight generalized parser combinators☆20Updated last year