An experimental library for metaprogramming with algebraic effects and handlers
☆40May 14, 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:
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆44Apr 29, 2026Updated 3 weeks ago
- An experimental mutual induction tactic for Lean 4.☆28May 13, 2026Updated last week
- Interpretability dashboard for reinforcement learners☆16Jun 4, 2019Updated 6 years ago
- Tabu search solver for job shop scheduling problem☆17Nov 8, 2018Updated 7 years ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 5 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.
- FunTAL: mixing a functional language with assembly.☆41Jun 5, 2017Updated 8 years ago
- Performant and safe knowledge compilation in rust☆31Apr 3, 2026Updated last month
- Tools for record-and-replay debugging☆45Mar 9, 2023Updated 3 years ago
- Probabilistic programming with programmable inference for parallel accelerators.☆52Mar 19, 2026Updated 2 months 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.☆15Mar 31, 2026Updated last month
- 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☆26Oct 1, 2025Updated 7 months ago
- A Result-like type that can collect multiple Errs☆12Oct 5, 2020Updated 5 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.
- being a particular fragment of Haskell, extended to a proof system☆45Mar 2, 2026Updated 2 months ago
- ☆11Feb 11, 2021Updated 5 years ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 11 months ago
- Experimental parallel and concurrent OCaml☆15Jan 28, 2023Updated 3 years ago
- ABSOLUTE source code that works with allelic copy ratio on both hg19 and hg38☆14Nov 5, 2025Updated 6 months ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 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
- Diagnostic functions to assess the quality of cell type annotations in single-cell RNA sequencing data☆13Jan 25, 2026Updated 3 months ago
- A flat container abstraction for Rust☆16Nov 24, 2025Updated 5 months 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.
- A formalization of ML kernel languages☆50Mar 26, 2026Updated last month
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 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
- ☆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 2 weeks 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.
- An IoT thing in the shape of heart that tells you how long you've been married☆12Sep 17, 2019Updated 6 years ago
- Formalization of CBPV extended with effect and coeffect tracking☆16Aug 30, 2024Updated last year
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 4 years ago
- A draft design document / RFC describing the plan for incremental and "on-demand"☆14May 18, 2017Updated 9 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- A command-line text editor in OCaml.☆13Apr 26, 2025Updated last year