An experimental library for metaprogramming with algebraic effects and handlers
☆43Jun 25, 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:
- ☆15Aug 21, 2023Updated 2 years ago
- Analyzing animal collaboration with Bayesian and causal inference.☆13Jul 18, 2025Updated 11 months ago
- a ML-style programming language based on the calculus of constructions type theory☆24Jul 6, 2025Updated 11 months ago
- Library of composable generative population models which serve as the modeling and inference backend of BayesDB.☆25Jul 11, 2024Updated last year
- A Toy Inverse Bidirectional Typechecker☆33May 13, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An experimental mutual induction tactic for Lean 4.☆30May 13, 2026Updated last month
- JavaScript implementation of the Knuth-Plass linebreaking algorithm☆26Nov 24, 2023Updated 2 years ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 5 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
- Performant and safe knowledge compilation in rust☆31Apr 3, 2026Updated 2 months ago
- Tools for record-and-replay debugging☆45Mar 9, 2023Updated 3 years ago
- A flexible python program for generating figures from regions of the genome.☆13Apr 6, 2019Updated 7 years ago
- Various mechanized proof files for fun.☆15Jun 6, 2026Updated 3 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 small example of a source->source pattern matching to decision tree compiler☆14Jul 29, 2020Updated 5 years ago
- A Concept-Centric Framework for Intelligent Agents☆27Oct 1, 2025Updated 8 months ago
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 5 years ago
- 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
- ☆11Feb 11, 2021Updated 5 years ago
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 4 years ago
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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 last month
- Diagnostic functions to assess the quality of cell type annotations in single-cell RNA sequencing data☆13Jun 22, 2026Updated last week
- A flat container abstraction for Rust☆17Nov 24, 2025Updated 7 months ago
- A formalization of ML kernel languages☆51Mar 26, 2026Updated 3 months 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
- Parallel Self-Adjusting Computation☆16Jul 5, 2021Updated 4 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.
- ☆13Nov 5, 2024Updated last year
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 2023Updated 3 years ago
- ☆10Oct 1, 2024Updated last year
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- ☆15May 5, 2026Updated last month
- Help protect against malicious build scripts☆29Updated this week
- An IoT thing in the shape of heart that tells you how long you've been married☆12Sep 17, 2019Updated 6 years ago