PrototypeCommon
verse-lab/toychain
A minimalistic blockchain consensus implemented and verified in Coq
- Owner
- verse-lab (organization)
- Stars
- Stars: 113
- Forks
- Forks: 12
- Language
- Coq
- License
- BSD-2-Clause
- Created
- 2017
- Topics
- coqblockchainconsensusdistributed-systems
- 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/ceramistStars: 127CoqPrototype
Nearby in Coq
All Coq repos- verse-lab/ceramistStars: 127CoqPrototype
- PrimeMHD/FPGA_ThreeLevelStorageStars: 120CoqPrototype
- inQWIRE/QWIREStars: 113CoqPrototype
- clarus/falsoStars: 105CoqPrototype
- jonleivent/mindless-codingStars: 104CoqPrototype
- Ptival/PeaCoqStars: 104CoqPrototype