π¦ Reusable components based on algebraic effects
β52Jun 19, 2026Updated last month
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 month
- 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 month
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 8 months ago
- π Backward lists for OCamlβ22Jun 19, 2026Updated last month
- 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.
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ38Jun 19, 2026Updated last month
- π©Ί A library for compiler diagnosticsβ54Jun 19, 2026Updated last month
- Self-adjusting computationsβ23Oct 9, 2023Updated 2 years ago
- A library for parsing, manipulating, and serializing data structured as JSON.β20Jul 10, 2026Updated last week
- A bare-bones LCF-style proof assistantβ26Aug 13, 2019Updated 6 years ago
- Exploring the corners of OCaml type systemβ18Apr 10, 2026Updated 3 months ago
- Organize mathematical thoughtsβ20Oct 6, 2023Updated 2 years ago
- Content-addressed identifiers in OCamlβ17Mar 23, 2023Updated 3 years ago
- A fancy diagnostics library that allows your compilers to exit with graceβ93May 7, 2026Updated 2 months 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.
- Various mechanized proof files for fun.β15Jun 6, 2026Updated last month
- being an implementation of the calculus of constructionsβ17Mar 9, 2023Updated 3 years ago
- Notes (and implementation) of unification with bindersβ17Feb 10, 2026Updated 5 months ago
- Experimental type-checker for internally parametric type theoryβ32Mar 27, 2025Updated last year
- Intrinsic Verification of Formal Grammar Theoryβ28May 20, 2026Updated 2 months ago
- formalization of an equivariant cartesian cubical set model of type theoryβ21Jan 3, 2025Updated last year
- macOS bindings to the FSEvents APIβ18Nov 24, 2025Updated 7 months ago
- Reactive signals for OCaml.β20Sep 12, 2024Updated last year
- βΎοΈ A library for universe levels and universe polymorphismβ42Jun 19, 2026Updated last month
- 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.
- OCaml bindings for Wasmerβ34Oct 1, 2022Updated 3 years ago
- 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
- β15Oct 31, 2023Updated 2 years ago
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 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β34Jul 10, 2026Updated last week
- β22Apr 12, 2024Updated 2 years ago
- Reusable runtime library for network protocolsβ48Mar 12, 2026Updated 4 months ago
- Open source password manager - Proton Pass β’ AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Experiments with Realizability in Univalent Type Theoryβ20Oct 21, 2024Updated last year
- Fuzzy type search for OCaml documentationβ90Jul 16, 2024Updated 2 years ago
- S-expression pretty-printerβ22Jul 10, 2026Updated last week
- Work in progress on semi-simplicial typesβ25Dec 15, 2022Updated 3 years ago
- Generate a webpage with mathematical formulae, OCaml output and graphics from markdownβ16Aug 28, 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