High-assurance-legacy Alternatives

Similar projects and alternatives to high-assurance-legacy based on common topics and language

• plutus

  89 1,530 9.8 Haskell high-assurance-legacy VS plutus

  The Plutus language implementation and tools

  

• cardano-ledger

  9 241 9.9 Haskell high-assurance-legacy VS cardano-ledger

  The ledger implementation and specifications of the Cardano blockchain.

  

• 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-addresses

  2 140 7.4 Haskell high-assurance-legacy VS cardano-addresses

  Addresses and mnemonic manipulation & derivations

  

• adalite

  212 235 7.9 TypeScript high-assurance-legacy 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-dex-backend

  1 14 5.9 Haskell high-assurance-legacy VS cardano-dex-backend

  Spectrum Finance off-chain service for Cardano

  

• cardano-coin-selection

  0 19 4.3 Haskell high-assurance-legacy VS cardano-coin-selection

  A library of algorithms for coin selection and fee balancing.

  

• ouroboros-high-assurance

  1 1 9.1 Isabelle high-assurance-legacy VS ouroboros-high-assurance

  High-assurance implementation of the Ouroboros protocol family

  

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