π¦ Reusable components based on algebraic effects
β52Jun 19, 2026Updated last week
Alternatives and similar repositories for algaeff
Users that are interested in algaeff 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 library for managing libraries and resolving unit pathsβ17Jun 19, 2026Updated last week
- Experiment with synthetic domain theory in cubical agdaβ15Nov 8, 2022Updated 3 years ago
- πΉ A library for hierarchical names and lexical scopingβ28Jun 19, 2026Updated last week
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 7 months ago
- π Backward lists for OCamlβ22Jun 19, 2026Updated last week
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ38Jun 19, 2026Updated last week
- π©Ί A library for compiler diagnosticsβ54Jun 19, 2026Updated last week
- Self-adjusting computationsβ23Oct 9, 2023Updated 2 years ago
- A library for parsing, manipulating, and serializing data structured as JSON.β20May 18, 2026Updated last month
- A bare-bones LCF-style proof assistantβ25Aug 13, 2019Updated 6 years ago
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years ago
- Experiments with Realizability in Univalent Type Theoryβ20Oct 21, 2024Updated last year
- Exploring the corners of OCaml type systemβ18Apr 10, 2026Updated 2 months ago
- Content-addressed identifiers in OCamlβ17Mar 23, 2023Updated 3 years 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 fancy diagnostics library that allows your compilers to exit with graceβ93May 7, 2026Updated last month
- Various mechanized proof files for fun.β15Jun 6, 2026Updated 3 weeks ago
- being an implementation of the calculus of constructionsβ17Mar 9, 2023Updated 3 years ago
- Experimental type-checker for internally parametric type theoryβ32Mar 27, 2025Updated last year
- formalization of an equivariant cartesian cubical set model of type theoryβ21Jan 3, 2025Updated last year
- Intrinsic Verification of Formal Grammar Theoryβ28May 20, 2026Updated last month
- macOS bindings to the FSEvents APIβ18Nov 24, 2025Updated 7 months ago
- βΎοΈ A library for universe levels and universe polymorphismβ41Jun 19, 2026Updated last week
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 2022Updated 3 years 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.
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)β¦β50Dec 22, 2025Updated 6 months ago
- Reactive signals for OCaml.β20Sep 12, 2024Updated last year
- β15Oct 31, 2023Updated 2 years ago
- OCaml bindings for Wasmerβ34Oct 1, 2022Updated 3 years ago
- β31Nov 26, 2025Updated 7 months ago
- Strongly typed multidimensional array library for OCamlβ53Jan 27, 2025Updated last year
- Interactive memory profiler based on Memtraceβ34May 18, 2026Updated last month
- β22Apr 12, 2024Updated 2 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascaisβ26Jan 14, 2019Updated 7 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.
- OCaml notebooks as a WebComponentβ55May 4, 2026Updated last month
- Reusable runtime library for network protocolsβ48Mar 12, 2026Updated 3 months ago
- Fuzzy type search for OCaml documentationβ89Jul 16, 2024Updated last year
- Work in progress on semi-simplicial typesβ24Dec 15, 2022Updated 3 years ago
- Get [@@deriving]-style generation of type-directed values without writing a ppxβ17Feb 15, 2022Updated 4 years ago
- An implementation of "A Pretty Expressive Printer" in OCamlβ26Mar 13, 2024Updated 2 years ago
- S-expression pretty-printerβ22May 18, 2026Updated last month