Coq Blockchain

Open-source Coq projects categorized as Blockchain
Edit details
coq Distributed Systems Verification Consensus smart-contracts
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com
featured

Coq Blockchain Projects

Blockchain

  1. ConCert

    A framework for smart contract verification in Coq

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo

  3. toychain

    A minimalistic blockchain consensus implemented and verified in Coq

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Coq Blockchain discussion

Log in or Post with

Coq Blockchain related posts

  • A minimalistic blockchain consensus implemented and verified in Coq

    1 project | news.ycombinator.com | 4 Mar 2021

Index

# Project Stars
1 ConCert 119
2 toychain 111

Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Coq is
the 74th most popular programming language
based on number of references?

Loading...