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 4 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
- ☆29Updated this week
- Useful, efficient, precise binary schema modelling in Haskell☆16Aug 18, 2025Updated 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.
- 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 4 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 9 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 3 months ago
- Agda grammar for tree-sitter☆46Aug 30, 2025Updated 9 months ago
- Beating unix `wc` in Haskell☆137Aug 20, 2021Updated 4 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.
- An implementation of the actor model in Haskell using STM☆17Feb 25, 2026Updated 3 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 7 months ago
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 5 years ago
- Prune unused Haskell dependencies.☆45Feb 7, 2023Updated 3 years ago
- A structured concurrency library☆90Feb 23, 2026Updated 3 months ago
- This package provides various primitive memory-related operations.☆123Mar 4, 2026Updated 3 months ago
- ☆11Jan 4, 2023Updated 3 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.
- ☆109Jun 1, 2026Updated last week
- 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 last month
- Haskell Webapps on AWS Lambda☆45Feb 5, 2023Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Apr 20, 2026Updated last month
- AI Agents on 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.
- 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 3 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