Hahn: A Coq library
☆29Jun 25, 2024Updated last year
Alternatives and similar repositories for hahn
Users that are interested in hahn are comparing it to the libraries listed below
Sorting:
- Intermediate Memory Model (IMM) and compilation correctness proofs for it☆29Feb 5, 2025Updated last year
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- ☆21Mar 15, 2016Updated 9 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 3 months ago
- Relation algebra library for Coq☆50Feb 17, 2026Updated 2 weeks ago
- Finite sets, finite maps, multisets and generic sets☆51Updated this week
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Feb 14, 2026Updated 2 weeks ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Jan 9, 2026Updated last month
- ☆17May 10, 2017Updated 8 years ago
- Hanoi tower in Coq☆26Jan 29, 2026Updated last month
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Feb 26, 2026Updated last week
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Feb 26, 2026Updated last week
- A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq☆25Jan 21, 2021Updated 5 years ago
- Deriving morphisms for OCaml data structures☆10Aug 28, 2019Updated 6 years ago
- 💧 MAIL: Система доставки повідомлень☆29Jan 27, 2026Updated last month
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated 2 months ago
- Flow implementations for Mirage☆12Feb 5, 2025Updated last year
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- moved to☆10Oct 10, 2025Updated 4 months ago
- Import and export CommonJS modules in js_of_ocaml☆12May 19, 2016Updated 9 years ago
- A jabber logger and web interface☆12Jan 5, 2026Updated 2 months ago
- A rpc client library for the Transmission bittorrent client written in OCaml.☆10Jan 27, 2018Updated 8 years ago
- OCaml parsers for multiple key formats☆15Aug 1, 2024Updated last year
- OCaml bindings for the Integer Set Library.☆13Jun 12, 2014Updated 11 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Monadic effects and equational reasoning in Rocq☆74Dec 19, 2025Updated 2 months ago
- Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.☆69Mar 31, 2025Updated 11 months ago
- Category theory and algebra☆27Aug 4, 2016Updated 9 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Updated this week
- Verified Extraction from Rocq to OCaml/Malfunction☆14May 23, 2025Updated 9 months ago
- Copies OCaml objects out of the garbage collected heap☆13Sep 20, 2018Updated 7 years ago
- A protoc plugin for generating OCaml code from protobuf (.proto) files.☆17Nov 30, 2019Updated 6 years ago
- A small command-line tool to help with mechanical edition of opam files☆10Aug 15, 2023Updated 2 years ago
- Optimised functions to read and write int16/32/64 from strings, bytes and bigarrays, based on primitives added in version 4.01.☆14Jun 27, 2022Updated 3 years ago
- E-mail message parser☆13Jan 15, 2026Updated last month
- Lets you create interactive shells in OCaml.☆10Sep 13, 2016Updated 9 years ago
- Pure & Incomplete STUN protocol in OCaml☆14Dec 8, 2022Updated 3 years ago
- Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]☆11Dec 30, 2023Updated 2 years ago