PrototypeCommune
verse-lab/toychain
A minimalistic blockchain consensus implemented and verified in Coq
- Propriétaire
- verse-lab (organisation)
- Étoiles
- Étoiles : 113
- Forks
- Forks : 12
- Langage
- Coq
- Licence
- BSD-2-Clause
- Création
- 2017
- Sujets
- coqblockchainconsensusdistributed-systems
- 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/ceramistÉtoiles : 127CoqPrototype
D’autres dépôts Coq
Tous les dépôts Coq- verse-lab/ceramistÉtoiles : 127CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageÉtoiles : 120CoqPrototype
- inQWIRE/QWIREÉtoiles : 113CoqPrototype
- clarus/falsoÉtoiles : 105CoqPrototype
- jonleivent/mindless-codingÉtoiles : 104CoqPrototype
- Ptival/PeaCoqÉtoiles : 104CoqPrototype