PrototypeCommon
verse-lab/ceramist
Verified hash-based AMQ structures in Coq
- Owner
- verse-lab (organization)
- Stars
- Stars: 127
- Forks
- Forks: 5
- Language
- Coq
- License
- GPL-3.0
- Created
- 2019
- Topics
- bloom-filterprobabilitycoq-formalizationcoqcounting-bloom-filterquotient-filteramq
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by verse-lab
All 5 repos by verse-lab- verse-lab/veilStars: 350LeanAlpha
- verse-lab/loomStars: 167LeanPrototype
- verse-lab/velvetStars: 134LeanPrototype
- verse-lab/toychainStars: 113CoqPrototype
Nearby in Coq
All Coq repos- rocq-archive/coq-serapiStars: 136CoqPrototype
- project-oak/silveroakStars: 133CoqPrototype
- rocq-community/coq-artStars: 131CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageStars: 120CoqPrototype
- inQWIRE/QWIREStars: 113CoqPrototype
- verse-lab/toychainStars: 113CoqPrototype