Effect handlers in C++
☆129Oct 27, 2023Updated 2 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
- Multi-shot CPS typed algebraic effects and handlers, in typescript.☆18Sep 11, 2023Updated 3 years ago
- Agda category theory library for denotational design☆61Apr 20, 2026Updated 5 months ago
- WebAssembly specification, reference interpreter, and test suite with effect handlers extension.☆32Jun 10, 2022Updated 4 years ago
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 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.
- ☆16Jul 9, 2025Updated last year
- multi-shot continuations in OCaml☆56Nov 21, 2025Updated 10 months ago
- neovim project manager☆12Jul 2, 2026Updated 2 months ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆140Mar 24, 2026Updated 5 months ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Sep 11, 2021Updated 5 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
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 5 years ago
- LeanEff is a small Lean 4 extensible-effects library☆22May 17, 2026Updated 4 months 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.
- A comparison of how computational effects and handlers are implemented in various programming languages.☆147Mar 29, 2019Updated 7 years ago
- Poor man's algebraic effects for TypeScript (PoC); next -> https://github.com/susisu/effectful☆23Jan 9, 2023Updated 3 years ago
- Core abstractions for dealing with concurrency in C++☆70Apr 3, 2024Updated 2 years ago
- constexpr is fun.☆13Jun 17, 2018Updated 8 years ago
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆15Jun 7, 2023Updated 3 years ago
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 4 years ago
- C++ Monadologie☆27Sep 13, 2021Updated 5 years ago
- Provides run-time tuple element access☆15Feb 15, 2021Updated 5 years ago
- An itree-like data-structure to additionally support internal non-determinism☆23Sep 14, 2026Updated last week
- 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.
- An interactive interpreter for asynchronous algebraic effects☆16Jun 19, 2024Updated 2 years ago
- Typed effect handlers for C++20 using coroutines.☆18Updated this week
- A summary of my activities during the past four years☆31Dec 18, 2025Updated 9 months ago
- A snake game trying to be reasonable☆20Aug 17, 2024Updated 2 years ago
- Fast, experimental effect handlers with delimited control☆22Jan 1, 2024Updated 2 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆58Oct 25, 2023Updated 2 years ago
- AlgoRhythm: A Haskell library for algorithmic music composition.☆23Apr 23, 2018Updated 8 years ago
- A system for programming formally-verified loop transformations.☆16Jan 31, 2019Updated 7 years ago
- ☆10Oct 1, 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 collaborative bibliography of work related to the theory and practice of computational effects☆1,150Apr 30, 2026Updated 4 months ago
- Range-based goodness for C++17☆366Feb 11, 2021Updated 5 years ago
- Delimited Continuations for JavaScript☆35Mar 1, 2024Updated 2 years ago
- (Concepts-enabled) Functional Abstraction Layer for C++☆51Apr 25, 2020Updated 6 years ago
- ☆40Jan 23, 2021Updated 5 years ago
- C++20 Coroutine-Based Synchronous Parser Combinator Library☆62Oct 21, 2021Updated 4 years ago
- hspp: An experimental library to bring Haskell Style Programming to C++.☆173Oct 24, 2022Updated 3 years ago