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 2 months ago
- The prelude.☆16Apr 3, 2019Updated 6 years ago
- http terminal based on butterfly☆18Sep 6, 2016Updated 9 years ago
- A type-safe parser, printer, and ADT for URLs and URIs.☆26Apr 28, 2022Updated 3 years ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Dec 10, 2019Updated 6 years ago
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 3 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- Implementation of Martin-Löf Type Theory in Haskell☆16Feb 21, 2016Updated 10 years ago
- ☆20Nov 26, 2024Updated last year
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 5 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- Transformerless monads for Puresript☆22Sep 26, 2018Updated 7 years ago
- An esoteric language based on overlapping tree-like structures☆10Oct 16, 2021Updated 4 years ago
- Unfoldable functors☆16Apr 27, 2022Updated 3 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Nov 9, 2020Updated 5 years ago
- Fast Haskell tagsoup parser☆17Oct 13, 2020Updated 5 years ago
- Abstactions and concrete implementations of mutable containers☆13Jul 4, 2016Updated 9 years ago
- A total recursion scheme library for Dhall☆66Feb 16, 2026Updated last month
- Haskell QuasiQuoter for String Formatting☆70Dec 29, 2025Updated 2 months ago
- A language based on homotopy type theory with an interval☆84Apr 5, 2015Updated 10 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- Haskell Type Level Example Programs☆28Nov 30, 2017Updated 8 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- HTTP client with pipes interface☆18Apr 19, 2025Updated 11 months ago
- Parsing for the pipes ecosystem☆29Apr 8, 2023Updated 2 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- A programming language that runs in Haskell's type system.☆256Mar 19, 2016Updated 10 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Jan 11, 2018Updated 8 years ago
- rewrite rules for type-level equalities☆62Aug 29, 2025Updated 6 months ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Exhaustive pattern matching using lenses, traversals, and prisms☆33Sep 4, 2022Updated 3 years ago
- Haskell: Overengineered GHCJS + react-flux playground☆14Jan 24, 2017Updated 9 years ago
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Jul 3, 2020Updated 5 years ago