Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 5 Blockchain Coq Open Source Projects

Open source projects categorized as Blockchain Coq
Categories > Blockchain > Blockchain
Ergo ⭐ 144
Programming Language for Smart Legal Contracts
dependent packages 9total releases 960most recent commit 2 years agonpm @accordproject/ergo-compiler} Downloads
Concert ⭐ 105
A framework for smart contract verification in Coq
most recent commit 3 months ago
Toychain ⭐ 103
A minimalistic blockchain consensus implemented and verified in Coq
most recent commit 4 years ago
Pos Nsb ⭐ 9
A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq
most recent commit 3 years ago
Ironwood ⭐ 7
A Correct-by-Construction Blockchain Protocol Implementation
most recent commit 6 years ago
Popular Blockchain Categories
Blockchain
Ethereum
Bitcoin
Cryptocurrency
Wallet
Mining
Smart Contracts
Fabric
Web3
Dapp
Categories
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.