berewt / acme-haskelleeLinks
Haskell Enterprise Edition
☆12Updated 8 years ago
Alternatives and similar repositories for acme-haskellee
Users that are interested in acme-haskellee are comparing it to the libraries listed below
Sorting:
- Reasonable Haskell default import☆27Updated 3 years ago
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- Serializable closures for distributed programming.☆65Updated 2 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆25Updated 7 years ago
- A total recursion scheme library for Dhall☆66Updated last week
- Bidirectional programming in Haskell with monadic profunctors☆48Updated 3 years ago
- Haskell 98 Profunctors☆70Updated 6 months ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- Get all your structure and rip it apart.☆32Updated 7 years ago
- STM on Free monads☆25Updated 7 years ago
- Delete half (minus ε) of your Haskell code!☆30Updated last month
- A smart A* search monad transformer which supports backtracking user-state!☆81Updated 4 years ago
- Extensible records for Idris☆25Updated 4 years ago
- Override instances used by Haskell's generic derivation☆31Updated 3 years ago
- Wailing into the primordial ooze of category theory☆55Updated last month
- Simple extensible product☆36Updated 5 years ago
- An experiment in functional interface design☆24Updated 9 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 5 years ago
- Github project where I track everything related to my thesis☆28Updated 9 years ago
- Monadic capabilities with late binding☆29Updated 2 years ago
- Tools for functors from Hask^k to Hask☆23Updated 6 years ago
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆21Updated 3 years ago
- A recursion scheme library for Idris.☆25Updated last month
- Refined types☆57Updated 7 years ago
- static analysis of free monads☆24Updated 7 years ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 8 years ago
- Priority Search Queues in three different flavors for Haskell☆67Updated last week
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated 3 months ago
- Web front UI for interactive Haskell projects☆34Updated 5 years ago
- Lens interface for your filesystem☆22Updated 5 years ago