A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited capabilities.
☆27Mar 30, 2018Updated 7 years ago
Alternatives and similar repositories for Capabilities
Users that are interested in Capabilities are comparing it to the libraries listed below
Sorting:
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 4 years ago
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated last month
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- The prelude.☆16Apr 3, 2019Updated 6 years ago
- ☆20Nov 26, 2024Updated last year
- http terminal based on butterfly☆18Sep 6, 2016Updated 9 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- A type-safe parser, printer, and ADT for URLs and URIs.☆26Apr 28, 2022Updated 3 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- Fast Haskell tagsoup parser☆17Oct 13, 2020Updated 5 years ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 13 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- A language based on homotopy type theory with an interval☆84Apr 5, 2015Updated 10 years ago
- A monad for interfacing with external SAT solvers☆65Jun 17, 2025Updated 8 months ago
- A tiny, single-file yesod app that can be used as a base for reproducing bugs☆14Mar 24, 2022Updated 3 years ago
- HTTP client with pipes interface☆18Apr 19, 2025Updated 10 months ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 4 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- Unfoldable functors☆16Apr 27, 2022Updated 3 years ago
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 3 years ago
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Parsing for the pipes ecosystem☆29Apr 8, 2023Updated 2 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- ☆39Oct 19, 2017Updated 8 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Dec 15, 2025Updated 2 months ago
- Design, play with, and analyze sequent calculus proof systems.☆14Sep 5, 2024Updated last year
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Jan 11, 2018Updated 8 years ago
- A Purescript table renderer capable of displaying multidimensional, heterogeneous JSON data☆14Jan 24, 2018Updated 8 years ago