☆13Apr 28, 2025Updated 10 months ago
Alternatives and similar repositories for melocoton
Users that are interested in melocoton are comparing it to the libraries listed below
Sorting:
- AI-assisted verification of Dafny Programs☆19Nov 9, 2025Updated 3 months ago
- ☆24Nov 6, 2021Updated 4 years ago
- Mechanized baselines for various type system features☆18Updated this week
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 4 months ago
- A PBT framework☆10Jul 19, 2025Updated 7 months ago
- guarded interaction trees☆11Jul 4, 2025Updated 7 months ago
- ☆13Jan 30, 2026Updated last month
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- ☆14Apr 1, 2025Updated 11 months ago
- ☆14May 28, 2025Updated 9 months ago
- ☆13Feb 15, 2026Updated 2 weeks ago
- Framework for benchmarking on multiple cores on current-bench☆14Jun 14, 2025Updated 8 months ago
- ☆19Feb 10, 2026Updated 2 weeks ago
- OCaml implementation of the KDL Document Language☆16Apr 11, 2025Updated 10 months ago
- A pure OCaml library for working with terminals☆33Apr 2, 2024Updated last year
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Jul 11, 2023Updated 2 years ago
- OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX d…☆17Feb 2, 2024Updated 2 years ago
- OCaml bindings for AWS APIs, built on eio☆18Oct 12, 2025Updated 4 months ago
- experiments on distributed unikernels☆16Dec 15, 2024Updated last year
- ☆17Aug 28, 2024Updated last year
- neovim plugin for OCaml development☆15Feb 15, 2026Updated 2 weeks ago
- regexes for trees; grep for s-exprs☆18Jun 10, 2024Updated last year
- Compile OCaml to standalone ANSI C file☆45Dec 7, 2025Updated 2 months ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 8 years ago
- gallina frontend for CompCert☆19Jul 6, 2019Updated 6 years ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 years ago
- Formal Semantics for Why3☆20Sep 28, 2025Updated 5 months ago
- Reactive signals for OCaml.☆18Sep 12, 2024Updated last year
- Calculus of Constructions☆17Jul 17, 2019Updated 6 years ago
- ☆19Jul 27, 2024Updated last year
- types for various combinatory systems, especialy tree calculi☆24Jan 23, 2025Updated last year
- For Jar artifacts☆20Nov 8, 2025Updated 3 months ago
- Compositional JSON encode/decode library and PPX for Melange and OCaml☆23Dec 14, 2025Updated 2 months ago
- A unikernel as an IRC client☆26Sep 13, 2023Updated 2 years ago
- An automated deductive program verifier based on concurrent separation logic☆28Feb 14, 2026Updated 2 weeks ago
- 🦖 Chrome "No internet connection" Dinosaur game, build with Revery.☆20Jun 4, 2019Updated 6 years ago
- A Rocq version of the miniF2F dataset☆23Oct 27, 2025Updated 4 months ago
- OCaml backend for Agda☆39Oct 4, 2018Updated 7 years ago
- The caml walks, OCaml runs☆21Oct 11, 2023Updated 2 years ago