Our great sponsors
- CodiumAI - TestGPT | Generating meaningful tests for busy devs
- SonarQube - Static code analysis for 29 languages.
- ONLYOFFICE ONLYOFFICE Docs — document collaboration in your environment
- InfluxDB - Access the most powerful time series database as a service
-
Common code between repos for Cardano: https://github.com/input-output-hk/cardano-base
-
cardano-ledger-specs
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
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.
-
The network node process: https://github.com/input-output-hk/cardano-node
-
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.
-
The wallet process: https://github.com/input-output-hk/cardano-wallet
-
Daedalus(the main full wallet): https://github.com/input-output-hk/daedalus
-
Jormungandr (A clean room Rust implementation of the node specification): https://github.com/input-output-hk/jormungandr
-
SonarQube
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
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
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 (the primary dev language for smart contracts): https://github.com/input-output-hk/plutus