Thinking of swapping most of my altcoin for Cardano

• cardano-base

  0 79 8.5 Haskell

  Code used throughout the Cardano eco-system

  

  Common code between repos for Cardano: https://github.com/input-output-hk/cardano-base

• cardano-ledger-specs

  0 119 9.8 Haskell

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

  

  The formal specs for the ledger and handling transactions: https://github.com/input-output-hk/cardano-ledger-specs

• CodiumAI

  codium.ai

  sponsored

  TestGPT | Generating meaningful tests for busy devs. Get non-trivial tests (and trivial, too!) suggested right inside your IDE, so you can code smart, create more value, and stay confident when you push.

  

• cardano-node

  77 2,938 9.9 Haskell

  The core component that is used to participate in a Cardano decentralised blockchain.

  

  The network node process: https://github.com/input-output-hk/cardano-node

• cardano-sl

  0 3,425 3.1 Haskell

  Cryptographic currency implementing Ouroboros PoS protocol

  

  For what it's worth, coincheckup is tracking https://github.com/input-output-hk/cardano-sl which is the old repo from before they split up a lot of the infrastructure into their own repos.

• cardano-wallet

  1 707 9.9 Haskell

  HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

  

  The wallet process: https://github.com/input-output-hk/cardano-wallet

• daedalus

  22 1,226 9.6 TypeScript

  The open source cryptocurrency wallet for ada, built to grow with the community

  

  Daedalus(the main full wallet): https://github.com/input-output-hk/daedalus

• jormungandr

  1 364 8.5 Rust

  privacy voting blockchain node

  

  Jormungandr (A clean room Rust implementation of the node specification): https://github.com/input-output-hk/jormungandr

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  

• marlowe

  0 162 6.2 Isabelle

  Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

  

  Marlowe (a prototype for working out how to build easy to use smart contract DSLs for non-tech/finance people to use): https://github.com/input-output-hk/marlowe

• ouroboros-network

  1 247 8.1 Haskell

  An implementation of the Ouroboros family of consensus algorithms, with its networking support

  

  Ouroboros(the consensus algorithm's formal specification): https://github.com/input-output-hk/ouroboros-network

• plutus

  2 1,453 9.7 Haskell

  The Plutus language implementation and tools

  

  Plutus (the primary dev language for smart contracts): https://github.com/input-output-hk/plutus

Suggest a related project