Low-overhead effect management for concrete monads
☆38Mar 25, 2022Updated 4 years ago
Alternatives and similar repositories for avail
Users that are interested in avail are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dynamically-typed Haskell expressions involving applications and variables.☆22Jan 30, 2025Updated last year
- A formalization of the theory behind the mugen library☆20Jul 5, 2026Updated 3 months ago
- Haskell implementation of a version of cubical type theory developed for my master thesis☆16Nov 19, 2022Updated 3 years ago
- Moved to https://github.com/haskell-webgear/webgear☆38Jun 13, 2021Updated 5 years ago
- an implementation of Observational Type Theory (OTT) and more☆30Oct 15, 2022Updated 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.
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆23Feb 3, 2026Updated 8 months ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 11 months ago
- Fast and concise effect handlers☆110Jun 13, 2023Updated 3 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆28Apr 22, 2022Updated 4 years ago
- A functional programming language which does not require the heap at run-time.☆17Jun 18, 2026Updated 4 months ago
- Dependently typed programming language written in Haskell☆22Feb 14, 2022Updated 4 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Staged push/pull fusion with typed Template Haskell☆62Dec 17, 2023Updated 2 years ago
- An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.☆487Oct 13, 2026Updated 2 weeks 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.
- ☆55Aug 14, 2025Updated last year
- Yet another test framework for Haskell.☆73Oct 23, 2026Updated last week
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 5 years ago
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated last year
- Postgres full-text search (fts)☆28Jan 6, 2022Updated 4 years ago
- Elaboration of cumulative universe hierarchies☆13Oct 26, 2026Updated last week
- Graded Dependent Type systems☆28Jun 28, 2023Updated 3 years ago
- My Agda/Mikan stuff☆13Oct 23, 2026Updated last week
- 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 work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- ☆21Dec 8, 2022Updated 3 years ago
- A profiler which samples the RTS callstack☆20Oct 15, 2026Updated 2 weeks ago
- Bidirectional JSON serialization☆40Mar 21, 2021Updated 5 years ago
- Tiny web application framework for WAI.☆73Nov 5, 2024Updated last year
- A parallel general purpose computer based on interaction combinators☆12Nov 19, 2021Updated 4 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 9 years ago
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆39Jun 19, 2026Updated 4 months ago
- Elaboration with inductive types☆16Jun 1, 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.
- ☆14Aug 5, 2026Updated 2 months ago
- ☆16Aug 2, 2023Updated 3 years ago
- Haskell port of the Nanopass Compiler Framework☆23Dec 23, 2025Updated 10 months ago
- Write your GDB scripts in Haskell!☆27Dec 13, 2021Updated 4 years ago
- A GHC plugin to derive instances.☆23Feb 12, 2023Updated 3 years ago
- Invertible parsing for S-expressions☆35Sep 30, 2026Updated last month
- Template Haskell Workshop☆51Nov 22, 2021Updated 4 years ago