An experimental library for metaprogramming with algebraic effects and handlers
☆43Jun 8, 2026Updated this week
Alternatives and similar repositories for effectful
Users that are interested in effectful are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a ML-style programming language based on the calculus of constructions type theory☆24Jul 6, 2025Updated 11 months ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆44Apr 29, 2026Updated last month
- JavaScript implementation of the Knuth-Plass linebreaking algorithm☆25Nov 24, 2023Updated 2 years ago
- A Toy Inverse Bidirectional Typechecker☆32May 13, 2019Updated 7 years ago
- An experimental mutual induction tactic for Lean 4.☆30May 13, 2026Updated 3 weeks ago
- 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.
- Interpretability dashboard for reinforcement learners☆16Jun 4, 2019Updated 7 years ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 5 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- FunTAL: mixing a functional language with assembly.☆41Jun 5, 2017Updated 9 years ago
- Yet another Rust algebraic effect library using generators☆21Jun 10, 2025Updated last year
- Tools for record-and-replay debugging☆45Mar 9, 2023Updated 3 years ago
- Various mechanized proof files for fun.☆15Mar 31, 2026Updated 2 months ago
- A small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- being a particular fragment of Haskell, extended to a proof system☆45Mar 2, 2026Updated 3 months ago
- thread-local storage for OCaml☆18Jan 13, 2025Updated last year
- A minimal & extensible reactive event system☆12Jun 24, 2024Updated last year
- Framework for benchmarking on multiple cores on current-bench☆15Jun 14, 2025Updated 11 months ago
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- A scheduler independent blocking mechanism☆20Feb 15, 2024Updated 2 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- ☆15May 26, 2026Updated 2 weeks 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.
- A simple library for running complex DAG of async tasks☆14Mar 26, 2025Updated last year
- A flat container abstraction for Rust☆17Nov 24, 2025Updated 6 months ago
- A formalization of ML kernel languages☆51Mar 26, 2026Updated 2 months ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 6 years ago
- LINQ-like combinators for manipulating collections of in-memory data☆16Sep 21, 2020Updated 5 years ago
- WebAssembly specification, reference interpreter, and test suite.☆13Aug 31, 2023Updated 2 years ago
- ☆13Nov 5, 2024Updated last year
- Host environment for cross building rust binaries, No need WSL/Docker/Colima!☆51May 29, 2026Updated last week
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 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.
- ☆10Oct 1, 2024Updated last year
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- ☆15May 5, 2026Updated last month
- An IoT thing in the shape of heart that tells you how long you've been married☆12Sep 17, 2019Updated 6 years ago
- Help protect against malicious build scripts☆29May 31, 2026Updated last week
- Formalization of CBPV extended with effect and coeffect tracking☆16Aug 30, 2024Updated last year
- Miscellaneous Racket utilities lacking a better home☆15Mar 13, 2026Updated 2 months ago