cblp / crdtLinks
☆43Updated 4 years ago
Alternatives and similar repositories for crdt
Users that are interested in crdt are comparing it to the libraries listed below
Sorting:
- Type level natural numbers and booleans☆34Updated 6 years ago
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- Reproducible builds for PureScript☆73Updated 7 years ago
- Haskell bindings to RocksDB (http://rocksdb.org)☆27Updated 7 years ago
- Compile PureScript into Haskell.☆68Updated 7 years ago
- Kind-safe framework for type-safe APIs☆78Updated 6 years ago
- Haskell JSON schema validator and parser generator☆63Updated 2 years ago
- Client-side and server-side web framework over Transient and GHCJS (Haskell to JavaScript compiler)☆67Updated 4 years ago
- Mustache templates for Haskell☆28Updated this week
- Transactional cache with configurable persistence☆46Updated 2 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Type-safe effectful state machines in Haskell☆96Updated 5 years ago
- An HTTP library for idris☆39Updated 6 years ago
- OTP-like supervision trees in Haskell☆62Updated 6 years ago
- Get all your structure and rip it apart.☆32Updated 6 years ago
- Transactional key-value store written entirely in Haskell☆94Updated 4 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- A type and helpers for typesafe SQL access in the presence of many databases.☆23Updated 3 months ago
- type-safe JSON spec and validation tool☆86Updated 4 years ago
- A GraphQL query parser for Haskell☆59Updated 2 years ago
- A library simplifying user management for Haskell web applications☆51Updated 2 years ago
- An extension to Data.Serialize with built-in version control☆61Updated 3 weeks ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 9 years ago
- ☆40Updated 7 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Create PureScript datatypes from Haskell datatypes☆111Updated last year
- Infer user interfaces from type signatures☆77Updated 7 years ago
- Web Development without programming☆45Updated 2 years ago
- Simple, composable, and easy-to-use stream I/O for Haskell☆100Updated 5 months ago
- ♾️ Sized list☆46Updated last year