Experimental implementation of generic record subtyping
☆18May 9, 2024Updated last year
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
- APIs for more recursive definitions☆19Oct 26, 2024Updated last year
- Generic Programming using True Sums of Products☆163Jan 7, 2026Updated 2 months ago
- Monitor nginx access logs in real time.☆25Dec 9, 2019Updated 6 years ago
- A library for generic programming that aims to be easy to understand☆26Dec 16, 2025Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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
- Flush system metrics to statsd☆26Jan 8, 2026Updated 2 months ago
- The most complete prelude formed only from the "base" package☆29Oct 11, 2023Updated 2 years ago
- Haskell bindings to the Polar query engine and Oso authorization library☆12Feb 15, 2022Updated 4 years ago
- An applicative monad that batches commands for later more efficient execution☆28Jan 21, 2018Updated 8 years ago
- ☆26May 9, 2016Updated 9 years ago
- Very simple CI server for Nix projects on GitHub☆15Aug 30, 2017Updated 8 years ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 2 months ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- keyed functors☆23Jan 10, 2026Updated 2 months ago
- Lens-like interface for type level parameters; allows unboxed unboxed vectors and supercompilation☆42Jan 26, 2015Updated 11 years ago
- The Str signature and implementations☆21May 28, 2017Updated 8 years ago
- Processing HTTP Content-Type and Accept headers☆14May 17, 2024Updated last year
- Overloaded plugin☆31Jun 15, 2024Updated last year
- A Distributed Computing Library in Haskell☆52Jun 9, 2017Updated 8 years ago
- ☆31Oct 31, 2021Updated 4 years ago
- Applicative maps☆16Sep 29, 2024Updated last year
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆32Feb 1, 2026Updated last month
- Structured logging solution.☆38Oct 22, 2025Updated 5 months ago
- A simple interface for generating persistent data and linking its dependencies☆48Mar 15, 2026Updated 2 weeks ago
- Swagger 2.0 data model.☆74May 17, 2025Updated 10 months ago
- String interpolation for Haskell done right!☆32Jun 5, 2020Updated 5 years ago
- Servant authentication with javascript web tokens☆16Jun 15, 2018Updated 7 years ago
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated 2 months ago
- Snakes game demo.☆15Feb 14, 2017Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Provide embedded swagger UI for servant and swagger☆48Mar 13, 2026Updated 2 weeks ago
- ☆21Dec 8, 2022Updated 3 years ago
- Specify Servant routes with records☆87Jul 6, 2018Updated 7 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- A faster date and time library based on time☆47Mar 13, 2026Updated 2 weeks ago
- Fine-grained lattice primitives for Haskell☆38Jul 1, 2025Updated 8 months ago
- parser for config files, shell variables, command line args.☆22Jun 30, 2016Updated 9 years ago