high-assurance-legacy VS byron-dex

Compare high-assurance-legacy vs byron-dex and see what are their differences.

high-assurance-legacy

Legacy code connected to the high-assurance implementation of the Ouroboros protocol family (by input-output-hk)
Ouroboros Cardano Cryptocurrency Blockchain Distributed Computing Formal Verification Formal Methods

DISCONTINUED

Suggest alternative
Edit details

byron-dex

Byron Network implementation of Decentralized Exchange App (by byron-network)
Dex plutus Cardano smart-contracts

DISCONTINUED

Suggest alternative
Edit details
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
high-assurance-legacy byron-dex
1 1
81 9
- -
7.0 7.9
almost 3 years ago about 3 years ago
Haskell Haskell
MIT License -
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

high-assurance-legacy

Posts with mentions or reviews of high-assurance-legacy. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-01-31.
  • Software Development Languages: Haskell
    3 projects | news.ycombinator.com | 31 Jan 2022
    * https://github.com/input-output-hk/plutus

    There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy

    I haven't worked there for a year or so and don't remember specifics like KLOCs, just that they're dotted around internal and public repos :)

byron-dex

Posts with mentions or reviews of byron-dex. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-09-15.

What are some alternatives?

When comparing high-assurance-legacy and byron-dex you can also consider the following projects:

cardano-dex-backend - Spectrum Finance off-chain service for Cardano

cardano-ledger - The ledger implementation and specifications of the Cardano blockchain.

cardano-coin-selection - A library of algorithms for coin selection and fee balancing.

cardano-addresses - Addresses and mnemonic manipulation & derivations

atlas - Application backend for Plutus smart contracts on Cardano

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

lobster-challenge - Simple Plutus contract to help give Charles' stuffed lobster a name

cardano-transactions - Library utilities for constructing and signing Cardano transactions.

high-assurance-legacy vs cardano-dex-backend byron-dex vs cardano-ledger high-assurance-legacy vs cardano-coin-selection byron-dex vs cardano-addresses high-assurance-legacy vs cardano-addresses byron-dex vs atlas high-assurance-legacy vs adalite byron-dex vs lobster-challenge high-assurance-legacy vs cardano-ledger byron-dex vs cardano-transactions
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

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

Loading...