Algebraic type based schema system
☆130Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 9 years ago
- Generate realistic looking fake data☆11Feb 24, 2018Updated 8 years ago
- ☆14Sep 24, 2017Updated 9 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Language independent type-safe communication☆135Mar 2, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11Nov 5, 2015Updated 10 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 6 years ago
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 9 years ago
- Haskell on-disk B* tree implementation☆115Dec 9, 2021Updated 4 years ago
- Web frontend for GHC☆12Dec 10, 2019Updated 6 years ago
- B+-tree implementation in Haskell☆28May 12, 2019Updated 7 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Haskell Standard Input and Output☆46May 13, 2018Updated 8 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 7 years ago
- "Fail Fast" process management for Haskell; inspired by Erlang☆16Jan 19, 2017Updated 9 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 11 years ago
- A sensible starting Prelude template.☆405May 16, 2025Updated last year
- Extensible, Type Safe Error Handling in Haskell☆13Dec 22, 2020Updated 5 years ago
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 9 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 5 years ago
- Haskell compiler infastructure for WebAssembly☆354Dec 24, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Typed frontend to TensorFlow and higher-order deep learning☆156Jul 1, 2022Updated 4 years ago
- Let GHC prove program equations for you☆145Nov 4, 2018Updated 8 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 9 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 11 years ago
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 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
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Double ratchet algorithm for E2E encryption☆60Nov 22, 2018Updated 7 years ago
- haskell prof file CLI/Curses tool☆32May 2, 2017Updated 9 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆20Aug 23, 2021Updated 5 years ago
- A toy implementation of Haxl to illustrate the internals☆22Jun 29, 2017Updated 9 years ago
- On-line accumulation of rank-based statistics such as quantiles and trimmed means☆31Jul 3, 2024Updated 2 years ago
- Haskell implementation of the RNCryptor encrypted file format by Rob Napier☆12Nov 14, 2025Updated 11 months ago
- A demo web browser engine written in Haskell☆279Apr 27, 2019Updated 7 years ago