RedPRL/algaeff external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

RedPRL/algaeff

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/RedPRL/algaeff)

Close

RedPRL / algaeffView on GitHubMore

• External links
• Readme badge

🦠 Reusable components based on algebraic effects

☆52Nov 21, 2025Updated 3 months ago

Alternatives and similar repositories for algaeff

Users that are interested in algaeff are comparing it to the libraries listed below

• RedPRL / bantorra

  View on GitHub
  📚 A library for managing libraries and resolving unit paths
  ☆17Nov 21, 2025Updated 3 months ago
• maxsnew / synthetic-domain-theory

  View on GitHub
  Experiment with synthetic domain theory in cubical agda
  ☆14Nov 8, 2022Updated 3 years ago
• RedPRL / yuujinchou

  View on GitHub
  👹 A library for hierarchical names and lexical scoping
  ☆26Nov 21, 2025Updated 3 months ago
• RedPRL / kado

  View on GitHub
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆22Nov 20, 2025Updated 4 months ago
• RedPRL / ocaml-bwd

  View on GitHub
  🔙 Backward lists for OCaml
  ☆22Nov 21, 2025Updated 3 months ago
• RedPRL / algaett

  View on GitHub
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆37Nov 21, 2025Updated 3 months ago
• RedPRL / asai

  View on GitHub
  🩺 A library for compiler diagnostics
  ☆53Nov 21, 2025Updated 3 months ago
• ocurrent / current_incr

  View on GitHub
  Self-adjusting computations
  ☆23Oct 9, 2023Updated 2 years ago
• janestreet / jsonaf

  View on GitHub
  A library for parsing, manipulating, and serializing data structured as JSON.
  ☆20Jan 15, 2026Updated 2 months ago
• andrejbauer / miniLCF

  View on GitHub
  A bare-bones LCF-style proof assistant
  ☆25Aug 13, 2019Updated 6 years ago
• uemurax / morg

  View on GitHub
  Organize mathematical thoughts
  ☆20Oct 6, 2023Updated 2 years ago
• rahulc29 / realizability

  View on GitHub
  Experiments with Realizability in Univalent Type Theory
  ☆19Oct 21, 2024Updated last year
• Octachron / typed-musings

  View on GitHub
  Exploring the corners of OCaml type system
  ☆18Jan 26, 2026Updated last month
• patricoferris / ocaml-cid

  View on GitHub
  Content-addressed identifiers in OCaml
  ☆16Mar 23, 2023Updated 2 years ago
• johnyob / grace

  View on GitHub
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆89Mar 9, 2026Updated last week
• ionathanch / scraps

  View on GitHub
  Various mechanized proof files for fun.
  ☆13Mar 9, 2026Updated last week
• pigworker / LEOG

  View on GitHub
  being an implementation of the calculus of constructions
  ☆17Mar 9, 2023Updated 3 years ago
• ecavallo / ptt

  View on GitHub
  Experimental type-checker for internally parametric type theory
  ☆32Mar 27, 2025Updated 11 months ago
• ecavallo / equivariant-cartesian

  View on GitHub
  formalization of an equivariant cartesian cubical set model of type theory
  ☆21Jan 3, 2025Updated last year
• maxsnew / grammars-and-semantic-actions

  View on GitHub
  Intrinsic Verification of Formal Grammar Theory
  ☆27Nov 22, 2025Updated 3 months ago
• mirage / ocaml-fsevents

  View on GitHub
  macOS bindings to the FSEvents API
  ☆18Nov 24, 2025Updated 3 months ago
• RedPRL / mugen

  View on GitHub
  ♾️ A library for universe levels and universe polymorphism
  ☆37Nov 21, 2025Updated 3 months ago
• ralsei / six-eyes

  View on GitHub
  A work-in-progress structure editor for the cooltt proof assistant.
  ☆18Jul 28, 2022Updated 3 years ago
• tomdjong / MGS-domain-theory

  View on GitHub
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆49Dec 22, 2025Updated 2 months ago
• rizo / signal

  View on GitHub
  Reactive signals for OCaml.
  ☆18Sep 12, 2024Updated last year
• uemurax / synthetic-topos-theory

  View on GitHub
  ☆15Oct 31, 2023Updated 2 years ago
• wasmerio / wasmer-ocaml

  View on GitHub
  OCaml bindings for Wasmer
  ☆34Oct 1, 2022Updated 3 years ago
• art-w / x-ocaml

  View on GitHub
  OCaml notebooks as a WebComponent
  ☆47Oct 4, 2025Updated 5 months ago
• mirage / repr

  View on GitHub
  ☆31Nov 26, 2025Updated 3 months ago
• Octachron / tensority

  View on GitHub
  Strongly typed multidimensional array library for OCaml
  ☆53Jan 27, 2025Updated last year
• janestreet / memtrace_viewer

  View on GitHub
  Interactive memory profiler based on Memtrace
  ☆33Jan 15, 2026Updated 2 months ago
• ocaml-dune / fiber

  View on GitHub
  ☆22Apr 12, 2024Updated last year
• jespercockx / popl19-tutorial

  View on GitHub
  Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais
  ☆26Jan 14, 2019Updated 7 years ago
• anmonteiro / gluten

  View on GitHub
  Reusable runtime library for network protocols
  ☆47Mar 12, 2026Updated last week
• art-w / sherlodoc

  View on GitHub
  Fuzzy type search for OCaml documentation
  ☆87Jul 16, 2024Updated last year
• FrozenWinters / SSTs

  View on GitHub
  Work in progress on semi-simplicial types
  ☆24Dec 15, 2022Updated 3 years ago
• janestreet / ppx_type_directed_value

  View on GitHub
  Get [@@deriving]-style generation of type-directed values without writing a ppx
  ☆17Feb 15, 2022Updated 4 years ago
• sorawee / pretty-expressive-ocaml

  View on GitHub
  An implementation of "A Pretty Expressive Printer" in OCaml
  ☆26Mar 13, 2024Updated 2 years ago
• janestreet / sexp_pretty

  View on GitHub
  S-expression pretty-printer
  ☆22Jan 15, 2026Updated 2 months ago