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
Sorting:
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated last month
- 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
- ☆27Mar 10, 2026Updated last week
- Useful, efficient, precise binary schema modelling in Haskell☆16Aug 18, 2025Updated 7 months ago
- 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 last month
- 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
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 6 months 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 3 weeks ago
- Agda grammar for tree-sitter☆44Aug 30, 2025Updated 6 months ago
- Beating unix `wc` in Haskell☆137Aug 20, 2021Updated 4 years ago
- An implementation of the actor model in Haskell using STM☆17Feb 25, 2026Updated 3 weeks 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☆91Nov 6, 2025Updated 4 months ago
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 5 years ago
- A structured concurrency library☆88Feb 23, 2026Updated 3 weeks ago
- Prune unused Haskell dependencies.☆46Feb 7, 2023Updated 3 years ago
- This package provides various primitive memory-related operations.☆122Mar 4, 2026Updated 2 weeks ago
- ☆11Jan 4, 2023Updated 3 years ago
- stupid lil program to parse GHC/cabal output and tell you how long stuff takes☆10Mar 2, 2022Updated 4 years ago
- ☆107Mar 4, 2026Updated 2 weeks 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 11 months 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
- 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
- Implementing a small functional language with a combinator based graph-reduction machine☆40Sep 10, 2025Updated 6 months 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☆12Nov 26, 2022Updated 3 years ago