Experimental implementation of generic record subtyping
☆18May 9, 2024Updated 2 years ago
Alternatives and similar repositories for records-sop
Users that are interested in records-sop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Basic examples and functions for generics-sop☆19Nov 8, 2023Updated 2 years ago
- A library for generic programming that aims to be easy to understand☆26Mar 24, 2026Updated 7 months ago
- APIs for more recursive definitions☆19Oct 26, 2024Updated 2 years ago
- Monitor nginx access logs in real time.☆25Dec 9, 2019Updated 6 years ago
- Generic Programming using True Sums of Products☆167Jan 7, 2026Updated 9 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 9 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 8 years ago
- Flush system metrics to statsd☆26Jan 8, 2026Updated 9 months ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- Control.Lens.Action☆17Mar 12, 2023Updated 3 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- ☆26May 9, 2016Updated 10 years ago
- Structured logging solution.☆38Oct 29, 2026Updated last week
- Haskell bindings to the Polar query engine and Oso authorization library☆12Feb 15, 2022Updated 4 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.
- Very simple CI server for Nix projects on GitHub☆15Aug 30, 2017Updated 9 years ago
- CLI tool for Hackage☆27Aug 23, 2026Updated 2 months ago
- The Str signature and implementations☆20May 28, 2017Updated 9 years ago
- A Distributed Computing Library in Haskell☆52Jun 9, 2017Updated 9 years ago
- Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.☆35Feb 26, 2024Updated 2 years ago
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆53Jul 1, 2026Updated 4 months ago
- Applicative maps☆16Sep 29, 2024Updated 2 years ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- Instances for the Haskell Binary class, for the types defined in the popular vector package.☆13Jun 23, 2023Updated 3 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.
- Miso bindings for A-Frame framework for WebVR.☆10May 10, 2018Updated 8 years ago
- Overloaded plugin☆31Jun 15, 2024Updated 2 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 6 years ago
- Tools for programming with ConstraintKinds in GHC☆77Jan 26, 2026Updated 9 months ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- The most complete prelude formed only from the "base" package☆30Oct 11, 2023Updated 3 years ago
- Processing HTTP Content-Type and Accept headers☆14Aug 3, 2026Updated 3 months ago
- A simple interface for generating persistent data and linking its dependencies☆48Oct 30, 2026Updated last week
- Maps using values' monoidal structure during merging☆43Jun 20, 2026Updated 4 months 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.
- Rapid prototyping with GHCi☆59Jul 10, 2018Updated 8 years ago
- Hot swapping compiled code while keeping a websocket connection open☆26May 24, 2016Updated 10 years ago
- ☆32Feb 1, 2026Updated 9 months ago
- Succinct binary serialization☆15Aug 26, 2018Updated 8 years ago
- Servant authentication with javascript web tokens☆16Jun 15, 2018Updated 8 years ago
- A tiny CI server built around GitHub and Nix☆133Oct 9, 2017Updated 9 years ago
- Specify Servant routes with records☆87Jul 6, 2018Updated 8 years ago