cblp / crdt
☆43Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for crdt
- Mustache templates for Haskell☆28Updated 2 weeks ago
- JVM implementation in Haskell☆44Updated 2 months ago
- A monad for managed values☆50Updated last year
- Reproducible builds for PureScript☆73Updated 6 years ago
- An extension to Data.Serialize with built-in version control☆60Updated 6 months ago
- Deep evaluation of data structures☆41Updated 2 months ago
- Compile Dhall expressions to Cabal files☆100Updated last year
- 📶 - Elm style FRP library for Haskell☆16Updated 6 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 3 weeks ago
- A simplified implementation of Erlang/OTP like supervisor for GHC thread☆16Updated 4 years ago
- Type level natural numbers and booleans☆33Updated 5 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 6 years ago
- A Purescript implementation of Elm's `core` library☆29Updated 6 years ago
- Get all your structure and rip it apart.☆30Updated 6 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆47Updated 3 months ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- phantom types☆37Updated 2 months ago
- Template for Hindley-Milner based languages☆39Updated 2 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Haskell JSON schema validator and parser generator☆60Updated last year
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆52Updated 3 months ago
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆32Updated 2 years ago
- A very general logging effect for Haskell☆60Updated 6 months ago
- An approach to user interfaces based in denotational design.☆26Updated last year
- An mtl-style typeclass and transformer for persistent☆11Updated 6 years ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- A tiny EDSL for making slides in PureScript☆26Updated 7 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 3 years ago
- Distributed systems execution emulation☆18Updated 5 years ago