Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Alloy Model Of Mca

An Alloy Verification Model for Consensus-Based Auction Protocols
Stars
7
License
No license specified
Open Issues
0
Most Recent Commit
10 years ago
Programming Language
Alloy
Categories
Repo
Alternatives To Alloy Model Of Mca
Select To Compare
Etcd ⭐ 46,406
Distributed reliable key-value store for the most critical data of a distributed system
dependent packages 2,948total releases 403most recent commit a day ago
Rqlite ⭐ 14,492
The lightweight, distributed relational database built on SQLite
dependent packages 3total releases 42most recent commit 3 months ago
Zookeeper ⭐ 11,766
Apache ZooKeeper
total releases 1most recent commit 3 months ago
Bips ⭐ 8,632
Bitcoin Improvement Proposals
most recent commit 3 months ago
Tendermint ⭐ 5,604
⟁ Tendermint Core (BFT Consensus) in Go
dependent packages 2,077total releases 722most recent commit 3 months ago
Go Libp2p ⭐ 5,586
libp2p implementation in Go
dependent packages 1,157total releases 283most recent commit 3 months ago


Suggest An Alternative To Alloy-Model-of-MCA
Popular Data Storage Categories
Database
Mysql
Redis
Mongodb
Postgresql
Firebase
Elasticsearch
Backup
Sqlite
Archive

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Consensus
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.