CertiChain (@certichain)
Guthub

certichain

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    27
  • Global Org. Rank 104,512 (Top 34 %)
  • Registered over 7 years ago
  • Most used languages
    Scala
         66.7 %
    Coq     33.3 %
  • Location ๐Ÿ‡ธ๐Ÿ‡ฌ Singapore
  • Country Total Rank 2,392
  • Country Ranking
    Coq     5
    Scala
         14

Top repositories

1

network-transformations

A Framework for building Distributed Consensus Protocols
Scala
10
star
2

plv-nus

NUS Programming Language & Verification Reading Club
9
star
3

probchain

Probabilistic reasoning about blockchain protocols
Coq
5
star
4

NanoPoS

A toy implementation of a Proof-of-Stake consensus protocol in Scala
Scala
3
star