ouroboros-high-assurance

High-assurance implementation of the Ouroboros protocol family (by input-output-hk)
Review Ouroboros Cardano Blockchain Cryptocurrency Distributed Systems Formal Methods Formal Verification
Source Code
Suggest alternative
Edit details
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

Ouroboros-high-assurance Alternatives

Similar projects and alternatives to ouroboros-high-assurance

input-output-hk
ouroboros-high-assurance

  1. plutus

    89 ouroboros-high-assurance VS plutus

    The Plutus language implementation and tools

  2. CodeRabbit

    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 logo

  3. yellowpaper

    7 ouroboros-high-assurance VS yellowpaper

    The "Yellow Paper": Ethereum's formal specification

  4. practical-fm

    4 ouroboros-high-assurance VS practical-fm

    A gently curated list of companies using verification formal methods in industry

  5. cardano-python

    5 ouroboros-high-assurance VS cardano-python

    Python module for handling Cardano cryptocurrency

  6. cardano-ledger

    9 ouroboros-high-assurance VS cardano-ledger

    The ledger implementation and specifications of the Cardano blockchain.

  7. cardano-py

    1 ouroboros-high-assurance VS cardano-py

    Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)

  8. isabelle-lambda-calculus

    1 ouroboros-high-assurance VS isabelle-lambda-calculus

    A formal definition and verification of System F. To be extended to System Fc

  9. 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

  10. adalite

    212 ouroboros-high-assurance VS adalite

    A lightweight web wallet for Cardano cryptocurrency with Trezor, Ledger and BitBox02 support. Please note that the only valid domain for our wallet is adalite.io

  11. cardano-ledger-specs

    12 ouroboros-high-assurance VS cardano-ledger-specs

    Discontinued The ledger implementation and specifications of the Cardano blockchain. [Moved to: https://github.com/input-output-hk/cardano-ledger]

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better ouroboros-high-assurance alternative or higher similarity.
Suggest an alternative to ouroboros-high-assurance

ouroboros-high-assurance discussion

Log in or Post with

ouroboros-high-assurance reviews and mentions

Posts with mentions or reviews of ouroboros-high-assurance. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-02-25.

Stats

Basic ouroboros-high-assurance repo stats
1
1
9.1
about 1 year ago

input-output-hk/ouroboros-high-assurance is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of ouroboros-high-assurance is Isabelle.

Popular Comparisons

  1. ouroboros-high-assurance VS practical-fm
  2. ouroboros-high-assurance VS cardano-python
  3. ouroboros-high-assurance VS cardano-ledger
  4. ouroboros-high-assurance VS cardano-py
  5. ouroboros-high-assurance VS isabelle-lambda-calculus
  6. ouroboros-high-assurance VS yellowpaper
  7. ouroboros-high-assurance VS plutus
  8. ouroboros-high-assurance VS adalite
  9. ouroboros-high-assurance VS cardano-ledger-specs

Sponsored
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
Loading...