berewt / acme-haskelleeLinks
Haskell Enterprise Edition
☆12Updated 7 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 2 years ago
- HoTT Note-taking action☆25Updated 6 years ago
- Port of Scala/Haskell Refined library to Idris☆17Updated 4 years ago
- Haskell 98 Profunctors☆70Updated last week
- A total recursion scheme library for Dhall☆66Updated last month
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆24Updated 6 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Dhall support for directed graphs with labeled vertices☆19Updated 3 years ago
- Get all your structure and rip it apart.☆32Updated 6 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- Serializable closures for distributed programming.☆65Updated last year
- A small profunctor library for idris☆17Updated 2 years ago
- ☆23Updated 7 years ago
- An experimental HTTP framework for Idris☆14Updated 5 years ago
- static analysis of free monads☆24Updated 6 years ago
- Simple extensible product☆36Updated 4 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- the (very humble) beginnings of a kafka client for haskell☆21Updated 5 years ago
- STM on Free monads☆23Updated 7 years ago
- Override instances used by Haskell's generic derivation☆31Updated 2 years ago
- Free categories, free arrows and free categories with monadic actions☆24Updated 3 months ago
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- ☆40Updated 6 years ago
- Tasty meal of Dhall☆66Updated last year
- An efficient graph library for Haskell☆39Updated last month
- van Laarhoven lenses for Idris☆20Updated 7 years ago