PrototypeCommune
verse-lab/ceramist
Verified hash-based AMQ structures in Coq
- Propriétaire
- verse-lab (organisation)
- Étoiles
- Étoiles : 127
- Forks
- Forks : 5
- Langage
- Coq
- Licence
- GPL-3.0
- Création
- 2019
- Sujets
- bloom-filterprobabilitycoq-formalizationcoqcounting-bloom-filterquotient-filteramq
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de verse-lab
Les 5 dépôts de verse-lab- verse-lab/veilÉtoiles : 350LeanAlpha
- verse-lab/loomÉtoiles : 167LeanPrototype
- verse-lab/velvetÉtoiles : 134LeanPrototype
- verse-lab/toychainÉtoiles : 113CoqPrototype
D’autres dépôts Coq
Tous les dépôts Coq- rocq-archive/coq-serapiÉtoiles : 136CoqPrototype
- project-oak/silveroakÉtoiles : 133CoqPrototype
- rocq-community/coq-artÉtoiles : 131CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageÉtoiles : 120CoqPrototype
- inQWIRE/QWIREÉtoiles : 113CoqPrototype
- verse-lab/toychainÉtoiles : 113CoqPrototype