Algebraic type based schema system
☆129Jan 30, 2020Updated 6 years ago
Alternatives and similar repositories for plate
Users that are interested in plate are comparing it to the libraries listed below
Sorting:
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 2 years ago
- Compile PureScript into Haskell.☆68Nov 29, 2017Updated 8 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 4 years ago
- Language independent type-safe communication☆134Mar 2, 2018Updated 8 years ago
- Haskell on-disk B* tree implementation☆116Dec 9, 2021Updated 4 years ago
- PureScript bindings for the yargs command-line parsing library☆18Jun 19, 2018Updated 7 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Double ratchet algorithm for E2E encryption☆60Nov 22, 2018Updated 7 years ago
- Haskell compiler infastructure for WebAssembly☆355Dec 24, 2017Updated 8 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- freer monads and cofreer comonads.☆23Jun 26, 2018Updated 7 years ago
- Haskell Standard Input and Output☆46May 13, 2018Updated 7 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 9 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- A demo web browser engine written in Haskell☆280Apr 27, 2019Updated 6 years ago
- A sensible starting Prelude template.☆402May 16, 2025Updated 9 months ago
- B+-tree implementation in Haskell☆28May 12, 2019Updated 6 years ago
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 years ago
- Efficient implementation of the implicit treap data structure☆63Aug 2, 2021Updated 4 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆32Apr 25, 2017Updated 8 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Jul 1, 2022Updated 3 years ago
- A Prelude with names from category theory☆51Sep 5, 2016Updated 9 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Talk on generic parallel scan☆14May 12, 2017Updated 8 years ago
- Generically derive traversals, lenses, and prisms.☆441Aug 27, 2025Updated 6 months ago
- ☆21May 9, 2017Updated 8 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 8 years ago
- Equational laws for free☆265May 10, 2025Updated 9 months ago
- A type-safe, high-level SQL library for Haskell☆477Jan 8, 2026Updated last month
- Let GHC prove program equations for you☆146Nov 4, 2018Updated 7 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago