Isabelle Blockchain

Open-source Isabelle projects categorized as Blockchain
Edit details
Cardano Distributed Systems Formal Methods Formal Verification Cryptocurrency
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai
featured

Isabelle Blockchain Projects

Blockchain

  1. ouroboros-high-assurance

    High-assurance implementation of the Ouroboros protocol family

  2. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
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).

Isabelle Blockchain discussion

Log in or Post with

Index

# Project Stars
1 ouroboros-high-assurance 1

Sponsored
InfluxDB high-performance time series database
Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.
influxdata.com
Loading...