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 3 months ago
- generate haskell types for Squeal from a running postgresql database.☆27Feb 16, 2026Updated 3 months ago
- A handy user guide for the Cabal build tool☆29Sep 10, 2021Updated 4 years ago
- ☆29May 8, 2026Updated last week
- Useful, efficient, precise binary schema modelling in Haskell☆16Aug 18, 2025Updated 9 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 3 months ago
- Framework for artificial life and other evolutionary algorithms.☆31Sep 5, 2022Updated 3 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 8 months ago
- Override instances used by Haskell's generic derivation☆31Jul 28, 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.☆29Feb 25, 2026Updated 2 months ago
- Agda grammar for tree-sitter☆45Aug 30, 2025Updated 8 months ago
- Beating unix `wc` in Haskell☆137Aug 20, 2021Updated 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.
- An implementation of the actor model in Haskell using STM☆17Feb 25, 2026Updated 2 months ago
- 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 6 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☆90Feb 23, 2026Updated 2 months ago
- This package provides various primitive memory-related operations.☆123Mar 4, 2026Updated 2 months ago
- Artifact for our ISPASS 2022 paper "Distilling the Real Cost of Production Garbage Collectors"☆21Nov 20, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆11Jan 4, 2023Updated 3 years ago
- ☆107Mar 18, 2026Updated 2 months 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
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- 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.☆24May 2, 2026Updated 2 weeks ago
- Haskell Webapps on AWS Lambda☆45Feb 5, 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.
- Implementing a small functional language with a combinator based graph-reduction machine☆40Apr 20, 2026Updated last month
- 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