berewt / acme-haskellee
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
- Quasiquoter for LLVM☆31Updated 6 years ago
- Haskell 98 Profunctors☆70Updated 7 months ago
- Serializable closures for distributed programming.☆64Updated last year
- An experimental HTTP framework for Idris☆14Updated 4 years ago
- A recursion scheme library for Idris.☆24Updated 3 months ago
- A total recursion scheme library for Dhall☆66Updated this week
- An Idris type provider for communicating type-checkable protocols.☆26Updated 7 years ago
- Haskell graphs and networks library☆31Updated 2 years ago
- HoTT Note-taking action☆25Updated 5 years ago
- Reasonable Haskell default import☆27Updated 2 years ago
- Delete half (minus ε) of your Haskell code!☆30Updated 2 weeks ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Port of Scala/Haskell Refined library to Idris☆16Updated 3 years ago
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- Simple extensible product☆37Updated 4 years ago
- haskell memory☆48Updated last year
- static analysis of free monads☆24Updated 6 years ago
- A small bifunctor library for idris☆21Updated 4 years ago
- Cofun with Cofree Comonads☆31Updated 8 years ago
- Fast, hash-based, immutable collections.☆25Updated 11 months ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 2 months ago
- A Go backend for Idris☆15Updated 6 years ago
- A helpful companion to GHC. Overrides GHC messages, to the user's liking.☆33Updated 4 years ago
- the EitherT monad transformer☆55Updated 9 months ago
- Refined types☆57Updated 6 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- Lensy interface for parsing CSV's☆42Updated 4 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Experiments in implementing functional data structures in Idris☆15Updated 5 years ago