Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Ouroboros High Assurance	80	3 years ago	42	mit	Isabelle
High-assurance implementation of the Ouroboros protocol family
Algorand Verification	25	2 years ago		other	Coq
Formal verification of the Algorand consensus protocol

Alternatives To Algorand Verification

Select To Compare

Ouroboros High Assurance ⭐ 80

High-assurance implementation of the Ouroboros protocol family

most recent commit 3 years ago

Algorand Verification ⭐ 25

Formal verification of the Algorand consensus protocol

most recent commit 2 years ago

Suggest An Alternative To algorand-verification

Alternative Project Comparisons

Algorand Verification vs Ouroboros High Assurance

Popular Consensus Projects

Etcd ⭐ 46,785

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 11 hours 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 5 months ago

Rqlite ⭐ 14,492

The lightweight, distributed relational database built on SQLite

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

Tikv ⭐ 14,485

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

most recent commit 2 months ago

Zookeeper ⭐ 11,766

Apache ZooKeeper

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

Popular Transition Projects

Impress.js ⭐ 37,406

It's a presentation framework based on the power of CSS3 transforms and transitions in modern browsers and inspired by the idea behind prezi.com.

dependent packages 5total releases 3latest release April 12, 2020most recent commit 6 months ago

Alpine ⭐ 26,023

A rugged, minimal framework for composing JavaScript behavior in your markup.

dependent packages 135total releases 119latest release November 19, 2023most recent commit 5 months ago

Scrollreveal ⭐ 22,169

Animate elements as they scroll into view.

dependent packages 86total releases 72latest release March 05, 2021most recent commit 3 months ago

Vue Router ⭐ 19,014

🚦 The official router for Vue 2

dependent packages 4total releases 2latest release April 25, 2019most recent commit 6 months ago

Material Animations ⭐ 13,282

Android Transition animations explanation with examples.

most recent commit 5 years ago

Popular Data Storage Categories