Effect handlers in C++
☆129Oct 27, 2023Updated 3 years ago
Alternatives and similar repositories for cpp-effects
Users that are interested in cpp-effects are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Jun 10, 2022Updated 4 years ago
- Agda category theory library for denotational design☆60Apr 20, 2026Updated 6 months ago
- ☆16Jul 9, 2025Updated last year
- LeanEff is a small Lean 4 extensible-effects library☆23Oct 13, 2026Updated 2 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆15May 28, 2025Updated last year
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆227Jul 28, 2020Updated 6 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆140Mar 24, 2026Updated 7 months ago
- multi-shot continuations in OCaml☆56Nov 21, 2025Updated 11 months ago
- An OCaml EDSL for describing and solving strategic games☆18Sep 10, 2023Updated 3 years ago
- C++20 Coroutine-Based Synchronous Parser Combinator Library☆62Oct 21, 2021Updated 5 years ago
- hspp: An experimental library to bring Haskell Style Programming to C++.☆173Oct 24, 2022Updated 4 years ago
- Benchmark repository of polyglot effect handler examples☆37Aug 21, 2025Updated last year
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 5 years ago
- Ergonomic C++ Iterator interface for STL containers☆39Jan 4, 2023Updated 3 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- Modified versions of Cabal & Haddock for rendering Annotated HTML with Mouseover Types.☆12Dec 31, 2015Updated 10 years ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆23Jan 9, 2023Updated 3 years ago
- A repository for the stack switching proposal.☆219Updated this week
- Provides run-time tuple element access☆15Feb 15, 2021Updated 5 years ago
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- CIRC: Concurrent Immediate Reference Counting☆55Nov 15, 2024Updated last year
- 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.
- A toy JS to ARM assembly compiler, in Haskell☆18May 30, 2022Updated 4 years ago
- constexpr is fun.☆13Jun 17, 2018Updated 8 years ago
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- Examples showing best practices for using Coq notations and custom entries [maintainer=@bcpierce00]☆12Feb 2, 2024Updated 2 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Jul 11, 2023Updated 3 years ago
- Typed effect handlers for C++20 using coroutines.☆18Oct 20, 2026Updated last week
- Javascript-like promises for C++ in a lightweight single header library☆23Jan 10, 2020Updated 6 years ago
- C++11 (and onwards) library for lazy evaluation☆366Jul 6, 2026Updated 3 months ago
- A summary of my activities during the past four years☆31Dec 18, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Port of SwiftyKanren to Kotlin☆19Feb 8, 2021Updated 5 years ago
- Fast, experimental effect handlers with delimited control☆22Jan 1, 2024Updated 2 years ago
- Polymorphic memory resource for real-time applications.☆77Aug 1, 2023Updated 3 years ago
- c++26 reflection-first ORM☆35Sep 5, 2026Updated last month
- AlgoRhythm: A Haskell library for algorithmic music composition.☆23Apr 23, 2018Updated 8 years ago
- An itree-like data-structure to additionally support internal non-determinism☆23Updated this week
- An interactive interpreter for asynchronous algebraic effects☆16Jun 19, 2024Updated 2 years ago