Ouroboros-high-assurance Alternatives

Similar projects and alternatives to ouroboros-high-assurance

• plutus

  89 1,532 9.8 Haskell ouroboros-high-assurance VS plutus

  The Plutus language implementation and tools

  

• yellowpaper

  7 1,603 6.1 TeX ouroboros-high-assurance VS yellowpaper

  The "Yellow Paper": Ethereum's formal specification

  

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• cardano-python

  5 112 3.2 Python ouroboros-high-assurance VS cardano-python

  Python module for handling Cardano cryptocurrency

• adalite

  212 235 7.9 TypeScript 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

  

• cardano-ledger

  9 240 9.9 Haskell ouroboros-high-assurance VS cardano-ledger

  The ledger implementation and specifications of the Cardano blockchain.

  

• practical-fm

  4 456 4.1 ouroboros-high-assurance VS practical-fm

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

• cardano-py

  1 16 1.8 Python ouroboros-high-assurance VS cardano-py

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

  

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• cardano-ledger-specs

  12 119 9.8 Haskell 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]

  

• isabelle-lambda-calculus

  1 10 0.0 Isabelle ouroboros-high-assurance VS isabelle-lambda-calculus

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