Coq development accompanying the paper "Efficient Extensional Binary Tries"
☆23Apr 17, 2024Updated 2 years ago
Alternatives and similar repositories for canonical-binary-tries
Users that are interested in canonical-binary-tries are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fast char sets☆21May 2, 2026Updated 6 months ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- ☆13Sep 2, 2024Updated 2 years ago
- QOI image codec for OCaml (unreleased)☆11Aug 13, 2026Updated 2 months ago
- Xen event channel interface for Mirage☆10Mar 6, 2025Updated last year
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Experimental IPFS backend for Irmin☆11Oct 31, 2022Updated 4 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 4 years ago
- SPF verifier and signer in OCaml☆12Oct 24, 2026Updated last week
- Python versioned abstract syntax trees and interface to the Python parser☆13Oct 28, 2022Updated 4 years ago
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Sep 14, 2026Updated last month
- ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.☆22Sep 22, 2025Updated last year
- Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.☆11Jun 13, 2021Updated 5 years ago
- ☆15May 28, 2025Updated last year
- Minimal support for Canonical S-expressions☆30Jul 18, 2023Updated 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.
- OCaml code for generating and analysing pcap (packet capture) files☆20May 31, 2025Updated last year
- Vocal is a set of OCaml modules, formally verified using Gospel and its Why3 plugin.☆19Nov 3, 2021Updated 5 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆46Apr 14, 2021Updated 5 years ago
- Unicode text normalization for OCaml☆26Sep 17, 2026Updated last month
- Easier bindings to Jest for ReasonML☆12Oct 17, 2024Updated 2 years ago
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- Portable clock implementation for Unix and Xen☆17Apr 24, 2024Updated 2 years ago
- A HTTP client relying solely on the OCaml standard library, for use when bootstrapping opam☆13Jul 8, 2019Updated 7 years ago
- OCaml behind the scenes: exceptions☆31Oct 10, 2023Updated 3 years 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.
- Deprecated Bedrock Bit Vector Library. Example replacement:☆30Aug 2, 2026Updated 3 months ago
- OCaml bindings for batsat (https://github.com/c-cube/batsat)☆12Mar 23, 2022Updated 4 years ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆10May 3, 2022Updated 4 years ago
- OCaml Bytecode Cleaner☆14Apr 19, 2022Updated 4 years ago
- Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml☆25Jan 11, 2023Updated 3 years ago
- ☆15Mar 26, 2024Updated 2 years ago
- Wrapper to Equinix API - Archived☆12Apr 14, 2025Updated last year
- a shared pixel display controllable via TCP☆13Jan 25, 2024Updated 2 years ago
- Parsing gigabytes of JSON per second☆27Sep 24, 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 OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Oct 19, 2023Updated 3 years ago
- Library of useful utility functions for Coq plugins☆13Jul 17, 2024Updated 2 years ago
- A TLS reverse proxy unikernel☆35Oct 14, 2026Updated 3 weeks ago
- S-expression parsing library☆36Jul 10, 2026Updated 3 months ago
- Ocaml modular spam filter☆16Sep 16, 2024Updated 2 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated 2 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago