xavierleroy / canonical-binary-triesView external linksLinks
Coq development accompanying the paper "Efficient Extensional Binary Tries"
☆21Apr 17, 2024Updated last year
Alternatives and similar repositories for canonical-binary-tries
Users that are interested in canonical-binary-tries are comparing it to the libraries listed below
Sorting:
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- a shared pixel display controllable via TCP☆13Jan 25, 2024Updated 2 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Mar 29, 2023Updated 2 years ago
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- ☆14May 28, 2025Updated 8 months ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated last year
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆12Jun 13, 2021Updated 4 years ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆16Jan 19, 2026Updated 3 weeks ago
- Easier bindings to Jest for ReasonML☆12Oct 17, 2024Updated last year
- Multinomials for the Mathematical Components library.☆16Nov 7, 2025Updated 3 months ago
- Convert OCaml Types between different major versions☆14May 23, 2022Updated 3 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 8 months ago
- Relation algebra library for Coq☆50Jan 27, 2026Updated 2 weeks ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- A simple websocket library for OCaml with no dependencies☆16Apr 8, 2024Updated last year
- Co-operative allocation of domains for OCaml☆14Jan 26, 2023Updated 3 years ago
- Lookup and load installed OCaml modules☆17Jul 29, 2025Updated 6 months ago
- A fornalisation of Grobner basis in ssreflect☆12Jan 29, 2026Updated 2 weeks ago
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36Oct 28, 2025Updated 3 months ago
- Formal Semantics for Why3☆19Sep 28, 2025Updated 4 months ago
- HTTP/1.1 server and client for ocaml (using Async)☆23Apr 26, 2025Updated 9 months ago
- Coq library for serialization to S-expressions☆20Jul 3, 2023Updated 2 years ago
- OCaml library for manipulating context-free grammars☆20Nov 28, 2025Updated 2 months ago
- A minimal example of a formally verified parser using ocamllex and Menhir's Coq backend.☆21Mar 19, 2015Updated 10 years ago
- GNU Guile Scheme bindings for OCaml☆18Aug 5, 2022Updated 3 years ago
- Fast char sets☆20May 5, 2025Updated 9 months ago
- Render boxes in the terminal with OCaml or Reason☆25Dec 4, 2025Updated 2 months ago
- Library to create Coq record update functions☆48Nov 25, 2025Updated 2 months ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 2 years ago
- Formal verification of the zkWasm project☆16Aug 13, 2024Updated last year
- a MirageOS OAuth2 authorization server for Etsy authentication☆18Jul 15, 2022Updated 3 years ago
- ☆22Apr 12, 2024Updated last year
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Js_of_ocaml bindings for MithrilJS☆18Jan 23, 2021Updated 5 years ago
- ☆23Aug 2, 2020Updated 5 years ago
- OCaml code for generating and analysing pcap (packet capture) files☆20May 31, 2025Updated 8 months ago
- Algebraic structures in OCaml.☆25Nov 21, 2025Updated 2 months ago