Skip to content
@certichain

CertiChain

Provably correct implementations of distributed protocols and their applications.

Popular repositories Loading

  1. network-transformations network-transformations Public

    A Framework for building Distributed Consensus Protocols

    Scala 10

  2. plv-nus plv-nus Public

    NUS Programming Language & Verification Reading Club

    9

  3. probchain probchain Public

    Probabilistic reasoning about blockchain protocols

    Coq 5

  4. NanoPoS NanoPoS Public

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

    Scala 3 2

Repositories

Showing 4 of 4 repositories
  • plv-nus Public

    NUS Programming Language & Verification Reading Club

    certichain/plv-nus’s past year of commit activity
    9 MIT 0 0 0 Updated Sep 4, 2020
  • probchain Public

    Probabilistic reasoning about blockchain protocols

    certichain/probchain’s past year of commit activity
    Coq 5 GPL-3.0 0 0 0 Updated Jan 4, 2019
  • network-transformations Public

    A Framework for building Distributed Consensus Protocols

    certichain/network-transformations’s past year of commit activity
    Scala 10 0 0 0 Updated Oct 13, 2017
  • NanoPoS Public

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

    certichain/NanoPoS’s past year of commit activity
    Scala 3 MIT 2 0 0 Updated Aug 30, 2017

Top languages

Loading…

Most used topics

Loading…