An experimental library for metaprogramming with algebraic effects and handlers
☆30Apr 2, 2026Updated last 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
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.☆44Updated this week
- Interpretability dashboard for reinforcement learners☆16Jun 4, 2019Updated 6 years ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Apr 7, 2021Updated 5 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Performant and safe knowledge compilation in rust☆31Apr 3, 2026Updated last week
- A flexible python program for generating figures from regions of the genome.☆13Apr 6, 2019Updated 7 years 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
- ☆11Feb 11, 2021Updated 5 years ago
- ABSOLUTE source code that works with allelic copy ratio on both hg19 and hg38☆13Nov 5, 2025Updated 5 months 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
- ☆15Feb 21, 2026Updated last month
- Diagnostic functions to assess the quality of cell type annotations in single-cell RNA sequencing data☆13Jan 25, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A flat container abstraction for Rust☆16Nov 24, 2025Updated 4 months ago
- Hand-grown compiler from a typed subset of Scheme to WebAssembly, written in Rust☆11May 23, 2020Updated 5 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
- An LR(1) parser generator, implemented as a proc macro☆16Apr 21, 2023Updated 2 years ago
- Higher kinded polymorphism in SML☆15Sep 2, 2020Updated 5 years ago
- ☆16Feb 14, 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
- Building Emulators inF#☆11Dec 23, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Miscellaneous Racket utilities lacking a better home☆15Mar 13, 2026Updated 3 weeks ago
- ☆12Sep 4, 2019Updated 6 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 11 months ago
- Verified Extraction from Rocq to OCaml/Malfunction☆14Mar 12, 2026Updated 3 weeks ago
- A curated list of Bolero samples, community projects, blogs and tutorials☆12Jul 8, 2020Updated 5 years ago
- A splay tree implementation.☆13Updated this week
- A very little language☆16Jul 1, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A lightweight unified metrics library in Rust for various metrics system.☆18Nov 11, 2025Updated 4 months ago
- Dafny for Metatheory of Programming Languages☆29Feb 6, 2026Updated 2 months ago
- A modern string diagram editor for the web.☆26Apr 22, 2025Updated 11 months ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39May 21, 2018Updated 7 years ago
- FusionAnnotator source code☆16Feb 27, 2026Updated last month
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 5 years ago