A logical authorization system
☆51Mar 2, 2022Updated 4 years ago
Alternatives and similar repositories for avaleryar
Users that are interested in avaleryar are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated 2 months ago
- generate haskell types for Squeal from a running postgresql database.☆27Feb 16, 2026Updated last month
- A handy user guide for the Cabal build tool☆29Sep 10, 2021Updated 4 years ago
- ☆28Updated this week
- Useful, efficient, precise binary schema modelling in Haskell☆16Aug 18, 2025Updated 7 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Haskell library of row polymorphic record manipulator☆23Oct 19, 2020Updated 5 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆22Feb 3, 2026Updated 2 months ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 7 months ago
- Override instances used by Haskell's generic derivation☆31Jul 28, 2022Updated 3 years ago
- Framework for artificial life and other evolutionary algorithms.☆31Sep 5, 2022Updated 3 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Dec 29, 2020Updated 5 years ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Feb 25, 2026Updated last month
- Agda grammar for tree-sitter☆44Aug 30, 2025Updated 7 months ago
- Beating unix `wc` in Haskell☆137Aug 20, 2021Updated 4 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.
- An implementation of the actor model in Haskell using STM☆17Feb 25, 2026Updated last month
- an applicative functor that seamlessly talks to HTML inputs☆72Jul 8, 2019Updated 6 years ago
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years ago
- First-class type families☆92Nov 6, 2025Updated 5 months ago
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 5 years ago
- Prune unused Haskell dependencies.☆46Feb 7, 2023Updated 3 years ago
- A structured concurrency library☆88Feb 23, 2026Updated last month
- This package provides various primitive memory-related operations.☆122Mar 4, 2026Updated last month
- ☆11Jan 4, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆107Mar 18, 2026Updated 3 weeks ago
- stupid lil program to parse GHC/cabal output and tell you how long stuff takes☆10Mar 2, 2022Updated 4 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming☆13Mar 22, 2021Updated 5 years ago
- Automatic type class law checking.☆24Dec 19, 2025Updated 3 months ago
- Haskell Webapps on AWS Lambda☆45Feb 5, 2023Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A library to easily use servant and GDP together to build web apis with a lot of knowledge in the types☆10Sep 15, 2021Updated 4 years ago
- ☆23May 29, 2023Updated 2 years ago
- Composable Concurrent Computation Done Right☆30Jan 3, 2023Updated 3 years ago
- Exampwe of ewwonyenyonyuns code:☆15Sep 25, 2019Updated 6 years ago
- OpenID Connect 1.0 client (RP) library for Haskell☆27Jul 29, 2024Updated last year
- Text lenses using PCRE regexes☆128Dec 11, 2024Updated last year
- A book about datalog☆13Nov 26, 2022Updated 3 years ago