cblp / crdt
☆43Updated 4 years ago
Alternatives and similar repositories for crdt:
Users that are interested in crdt are comparing it to the libraries listed below
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 7 years ago
- Haskell JSON schema validator and parser generator☆61Updated 2 years ago
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Reproducible builds for PureScript☆73Updated 6 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 6 years ago
- Mustache templates for Haskell☆28Updated last month
- An extension to Data.Serialize with built-in version control☆59Updated last month
- ☆40Updated 6 years ago
- JVM implementation in Haskell☆44Updated 7 months ago
- Type level natural numbers and booleans☆34Updated 5 years ago
- Web Development without programming☆44Updated 2 years ago
- Run lifted IO operations asynchronously and wait for their results☆28Updated 6 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Distributed systems execution emulation☆18Updated 6 years ago
- Get all your structure and rip it apart.☆31Updated 6 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- An implementation of GraphQL in Haskell.☆21Updated 7 years ago
- A very general logging effect for Haskell☆61Updated 11 months ago
- A wrapper for Node's HTTP APIs☆40Updated last year
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 3 months ago
- complexity testing for haskell☆48Updated 9 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43Updated 8 years ago
- dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!☆47Updated 6 years ago
- ☆33Updated 4 years ago
- type-safe JSON spec and validation tool☆85Updated 4 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Quasiquoter for LLVM☆31Updated 7 years ago
- A monad for managed values☆50Updated 2 years ago