ceramist
by verse-lab
Verified hash-based AMQ structures in Coq
AI summary
Hash filter library
A verified hash-based approximate membership structure library in Coq
- stars
- 121
- forks
- 5
- watching
- 7
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Data structure library
A comprehensive library of verified data structures and algorithms in Coq
Consensus protocol
A minimalistic blockchain-based consensus protocol implemented in Coq
Randomized algorithms reasoner
A library for reasoning about randomized algorithms in Coq
Algebra library
A Coq library providing algebraic data structures and algorithms
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Relation Algebra Library
A Coq library providing algebraic tools and tactics for working with binary relations
Parser combinator library
A Coq library that provides a total parser combinator library with support for building parsers and grammars in the language of Coq.
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Bitset library
A formalization of bitset operations in Coq with extraction to OCaml native integers.
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Regular language library
Provides definitions and verified translations between various representations of regular languages in the Coq proof assistant
Distributed store verifier
A framework for verifying causal consistency in distributed key-value stores and their clients using the Coq proof assistant
Syntax automator
Automates formalizing syntactic theories with variable binders in Coq
Sorting library
Provides a modular and canonical way to prove the correctness of stable sorting algorithms in Coq.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions ceramist.
