Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Verdi Raft	175	5 months ago	15	bsd-2-clause	Coq
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
Toychain	103	4 years ago	n,ull	bsd-2-clause	Coq
A minimalistic blockchain consensus implemented and verified in Coq
Algorand Verification	25	a year ago		other	Coq
Formal verification of the Algorand consensus protocol

Alternatives To Toychain

Select To Compare

Verdi Raft ⭐ 175

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

most recent commit 5 months ago

Toychain ⭐ 103

A minimalistic blockchain consensus implemented and verified in Coq

most recent commit 4 years ago

Algorand Verification ⭐ 25

Formal verification of the Algorand consensus protocol

most recent commit a year ago

Suggest An Alternative To toychain

Alternative Project Comparisons

Toychain vs Verdi Raft

Toychain vs Algorand Verification

Popular Coq Projects

Coq ⭐ 4,501

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

dependent packages 1total releases 4latest release December 27, 2020most recent commit 3 months ago

Compcert ⭐ 1,696

The CompCert formally-verified C compiler

most recent commit 5 months ago

Stalin Sort ⭐ 1,381

Add a stalin sort algorithm in any language you like ❣️ if you like give us a ⭐️

most recent commit 4 months ago

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

most recent commit 4 years ago

Unimath ⭐ 888

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

most recent commit 3 months ago

Popular Consensus Projects

Etcd ⭐ 46,345

Distributed reliable key-value store for the most critical data of a distributed system

dependent packages 2,948total releases 403latest release December 07, 2023most recent commit 2 days ago

Fabric ⭐ 15,045

Hyperledger Fabric is an enterprise-grade permissioned distributed ledger framework for developing solutions and applications. Its modular and versatile design satisfies a broad range of industry use cases. It offers a unique approach to consensus that enables performance at scale while preserving privacy.

dependent packages 161total releases 255latest release March 22, 2022most recent commit 3 months ago

Rqlite ⭐ 14,492

The lightweight, distributed relational database built on SQLite

dependent packages 3total releases 42latest release April 14, 2021most recent commit 3 months ago

Tikv ⭐ 14,485

Distributed transactional key-value database, originally created to complement TiDB

most recent commit 8 days ago

Zookeeper ⭐ 11,766

Apache ZooKeeper

total releases 1latest release December 18, 2019most recent commit 3 months ago

Popular Mathematics Categories