π¦ Reusable components based on algebraic effects
β52Apr 6, 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β17Apr 6, 2026Updated last month
- Experiment with synthetic domain theory in cubical agdaβ14Nov 8, 2022Updated 3 years ago
- πΉ A library for hierarchical names and lexical scopingβ28Apr 7, 2026Updated last month
- π§ kado γ«γ: Cofibrations in Cartesian Cubical Type Theoryβ22Nov 20, 2025Updated 5 months ago
- π Backward lists for OCamlβ22Apr 6, 2026Updated last month
- 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 experimental elaborator for dependent type theory using effects and handlersβ37Apr 7, 2026Updated last month
- π©Ί A library for compiler diagnosticsβ53Apr 6, 2026Updated last month
- Self-adjusting computationsβ23Oct 9, 2023Updated 2 years ago
- A library for parsing, manipulating, and serializing data structured as JSON.β20Updated this week
- 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β19Oct 21, 2024Updated last year
- Exploring the corners of OCaml type systemβ18Apr 10, 2026Updated last month
- Content-addressed identifiers in OCamlβ17Mar 23, 2023Updated 3 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.
- A fancy diagnostics library that allows your compilers to exit with graceβ91May 7, 2026Updated last week
- Various mechanized proof files for fun.β15Mar 31, 2026Updated last month
- 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β28Updated this week
- macOS bindings to the FSEvents APIβ18Nov 24, 2025Updated 5 months ago
- βΎοΈ A library for universe levels and universe polymorphismβ40Apr 6, 2026Updated last month
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 2022Updated 3 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.
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)β¦β50Dec 22, 2025Updated 4 months ago
- Reactive signals for OCaml.β19Sep 12, 2024Updated last year
- β15Oct 31, 2023Updated 2 years ago
- OCaml bindings for Wasmerβ34Oct 1, 2022Updated 3 years ago
- OCaml notebooks as a WebComponentβ50May 4, 2026Updated 2 weeks ago
- β31Nov 26, 2025Updated 5 months ago
- Strongly typed multidimensional array library for OCamlβ53Jan 27, 2025Updated last year
- Interactive memory profiler based on Memtraceβ34Apr 6, 2026Updated last month
- β22Apr 12, 2024Updated 2 years ago
- 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.
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascaisβ26Jan 14, 2019Updated 7 years ago
- Reusable runtime library for network protocolsβ48Mar 12, 2026Updated 2 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β21Apr 6, 2026Updated last month