-
cardano-ledger-specs
Discontinued The ledger implementation and specifications of the Cardano blockchain. [Moved to: https://github.com/input-output-hk/cardano-ledger]
-
InfluxDB
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.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
marlowe
Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies
-
ouroboros-network
Specifications of network protocols and implementations of components running these protocols which support a family of Ouroboros Consesus protocols; the diffusion layer of the Cardano Node.
Common code between repos for Cardano: https://github.com/input-output-hk/cardano-base
The formal specs for the ledger and handling transactions: https://github.com/input-output-hk/cardano-ledger-specs
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
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(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