π¦ 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 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.
- π¦ An experimental elaborator for dependent type theory using effects and handlersβ38Jun 19, 2026Updated last month
- π©Ί A library for compiler diagnosticsβ55Jun 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 3 weeks ago
- 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β21Oct 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β91Updated this week
- 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.
- Various mechanized proof files for fun.β15Jul 25, 2026Updated 2 weeks ago
- 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β28Updated this week
- 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 8 months ago
- Reactive signals for OCaml.β19Sep 12, 2024Updated last year
- OCaml bindings for Wasmerβ34Oct 1, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer β’ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- βΎοΈ A library for universe levels and universe polymorphismβ42Jun 19, 2026Updated last month
- Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)β¦β49Dec 22, 2025Updated 7 months ago
- β16Oct 31, 2023Updated 2 years ago
- A work-in-progress structure editor for the cooltt proof assistant.β18Jul 28, 2022Updated 4 years ago
- β31Nov 26, 2025Updated 8 months ago
- Strongly typed multidimensional array library for OCamlβ53Jan 27, 2025Updated last year
- Interactive memory profiler based on Memtraceβ34Jul 10, 2026Updated 3 weeks ago
- β22Apr 12, 2024Updated 2 years ago
- Reusable runtime library for network protocolsβ48Mar 12, 2026Updated 4 months 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.
- Experiments with Realizability in Univalent Type Theoryβ20Oct 21, 2024Updated last year
- S-expression pretty-printerβ22Jul 10, 2026Updated 3 weeks ago
- Work in progress on semi-simplicial typesβ25Dec 15, 2022Updated 3 years ago
- Fuzzy type search for OCaml documentationβ90Jul 16, 2024Updated 2 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