Sources
71 upstream Cardano projects mirrored under docs/sources/. Auto-refreshed every Monday at 06:00 UTC by refresh-docs.yml. The canonical entry for each is registry/sources.yaml.
Sources are grouped by category. Priority (high / medium / low) is shown next to each entry — it reflects the maintainer’s judgement of how important the source is to the typical Cardano dev workflow.
infrastructure
| Source | Priority | Description |
|---|---|---|
Adder — blinklabs-io/adder · site | medium | Go pipeline for Cardano chain event streaming - chainsync, mempool, and UTxORPC inputs, event filters, webhook/push/notify/log/Telegram outputs, embeddable as a library |
Amaru — pragma-org/amaru | medium | Rust implementation of a Cardano node by PRAGMA — alternative to cardano-node, focused on diversification of consensus implementations |
Blockfrost OpenAPI — blockfrost/openapi · site | high | Most popular hosted REST API for Cardano (~25% adoption) |
Cardano CLI — IntersectMBO/cardano-cli | high | Official command-line tool for interacting with cardano-node — building, signing, submitting transactions, queries, key management |
Cardano GraphQL — cardano-foundation/cardano-graphql | medium | Cross-platform typed GraphQL API |
Cardano Node Wiki — input-output-hk/cardano-node-wiki | medium | Node documentation and operational guides |
Cardano Wallet — cardano-foundation/cardano-wallet | medium | HTTP REST API for wallet operations (Cardano Foundation) |
DB-Sync — IntersectMBO/cardano-db-sync | low | Official PostgreSQL chain indexer (resource-heavy) |
Dingo — blinklabs-io/dingo · site | medium | Cardano node implementation in Go - Ouroboros consensus, tiered storage, and UTxO RPC / Blockfrost-compatible REST / Mesh APIs. Pre-production - testnets and devnets only |
Dolos — txpipe/dolos · site | medium | Lightweight data node - fraction of full node resources |
gOuroboros — blinklabs-io/gouroboros · site | medium | Go building blocks for Ouroboros/Cardano protocols - mini-protocol implementations, ledger types, CBOR codecs |
haskell.nix — input-output-hk/haskell.nix · site | high | Nix infrastructure for Cabal/Haskell projects — flakes, inputMap for extra package indexes (CHaP), source-repository-package hashes. The Nix frontend used by Intersect Cardano Haskell repos. |
iohk-nix — input-output-hk/iohk-nix | high | Shared Nix overlays for IOG/Intersect Cardano Haskell builds — libsodium-vrf, secp256k1, libblst, haskell.nix crypto helpers. Required to compile cardano-crypto-class and friends. |
Koios — cardano-community/koios-artifacts · site | medium | Decentralized community REST query layer |
Kupo — CardanoSolutions/kupo · site | high | Fast, lightweight UTxO chain-index |
Masumi — masumi-network/masumi-docs · site | medium | Self-hosted payment and registry node for AI agent services — escrowed agent-to-agent payments, on-chain identity, agent registry, and the MIP-003 agentic service API |
Mithril — IntersectMBO/mithril · site | high | Stake-based snapshots for fast node bootstrapping |
Ogmios — CardanoSolutions/ogmios · site | high | WebSocket bridge for cardano-node with JSON/RPC interface |
Oura — txpipe/oura · site | medium | Rust pipeline for chain event streaming |
Pallas — txpipe/pallas | medium | Rust building blocks for Ouroboros/Cardano protocols |
Yaci Store — bloxbean/yaci-store · site | medium | Modular Java indexer with Blockfrost-compatible APIs |
smart-contracts
| Source | Priority | Description |
|---|---|---|
Aiken — aiken-lang/site · site | high | Most popular smart contract language (~75% adoption), Rust-like syntax |
Aiken BLS Signatures — ilap/bls | medium | Aiken BLS12-381 signature library implementing the IETF draft (basic, augmented, proof-of-possession modes) |
Aiken Design Patterns — Anastasia-Labs/aiken-design-patterns | high | Best practices and design patterns for Aiken (Anastasia Labs) |
Aiken Examples — aiken-lang/aiken | high | Official Aiken code examples and patterns |
Aiken Stdlib — aiken-lang/stdlib | high | Aiken standard library - list, option, transaction helpers |
Aiken ZKP Verifiers — ADAOcommunity/zk | medium | ADAO’s Aiken ZKP verifier library — Groth16, PLONK, and Bulletproofs verifiers for Plutus V3, with protocol walkthroughs and on-chain verification tests |
BLS12-381 Examples and Standards — cardano-foundation/bls | high | BLS12-381 tutorials, the IETF BLS signature and pairing-curve drafts, HKDF/PBKDF2/VRF RFCs, and Aiken examples for Groth16, KDF, VRF, and signature aggregation |
Cardano Use Case Templates — cardano-foundation/cardano-templates | high | Generic blockchain use-case templates implemented across Aiken (on-chain) and Mesh/Evolution/cardano-client-lib (off-chain). Foundation reference set. |
CIP-113 Programmable Tokens — cardano-foundation/cip113-programmable-tokens | medium | Reference implementation for programmable token standard |
CIP-113 Programmable Tokens Platform — cardano-foundation/cip113-programmable-tokens-platform | medium | Off-chain reference platform for CIP-113 — substandard Aiken validators (KYC, KYC-extended, freeze-and-seize, dummy) and markdown explainers for the KERI / CIP-170 attestation flow. Status R&D. |
Helios — HeliosLang/compiler | medium | DSL with JS/TS SDK that compiles to UPLC in the browser. Smaller community than Aiken but actively maintained. |
OpShin — OpShin/opshin | medium | 100% valid Python that compiles to UPLC |
Pebble — HarmonicLabs/pebble | medium | Smart contract framework by Harmonic Labs (TypeScript) |
Plinth — IntersectMBO/plutus | medium | Plinth (formerly PlutusTx) — Haskell eDSL for writing Plutus / Plutus Core smart contracts, from IOG/Intersect. Captures the user-guide prose plus the worked code examples the site embeds via LiteralInclude. |
Plutarch — Plutonomicon/plutarch-plutus | medium | Typed Haskell eDSL for highly optimized UPLC |
Scalus — scalus3/scalus | medium | Scala 3 on-chain and off-chain platform |
Smart Contract Vulnerabilities — easy1staking-com/cardano-smart-contract-vulnerabilities | high | 26 documented eUTxO vulnerability patterns with mitigations |
sdk
| Source | Priority | Description |
|---|---|---|
Apollo — Salvionied/apollo · site | medium | Pure Go transaction builder - fluent tx construction, Plutus datum encoding, pluggable chain backends (use the /v2 module path) |
blockfrost-go — blockfrost/blockfrost-go · site | medium | Official Go client for the Blockfrost API - typed endpoint wrappers, IPFS, webhook verification |
Buildooor — HarmonicLabs/buildooor | low | Smart contract builder tool by Harmonic Labs |
Cardano Addresses — IntersectMBO/cardano-addresses | medium | Address derivation library — Shelley/Byron/Icarus address formats, key encodings, and CLI for offline key management |
Cardano Connect with Wallet — cardano-foundation/cardano-connect-with-wallet | high | Official Cardano Foundation library + React hooks for CIP-30 wallet integration in web dApps |
Cardano Serialization Lib — Emurgo/cardano-serialization-lib | medium | Low-level Rust/WASM serialization library by Emurgo |
cardano-client-lib — bloxbean/cardano-client-lib · site | medium | Java client library by BloxBean |
cardano-js-sdk — input-output-hk/cardano-js-sdk | medium | IOG’s comprehensive TypeScript SDK, powers Lace wallet |
CHaP — IntersectMBO/cardano-haskell-packages · site | high | Cardano Haskell package repository — Cabal index for Intersect packages that are not on Hackage (cardano-ledger, plutus-tx, cardano-api, …). Documents the repository stanza, index-state pinning, and haskell.nix inputMap. |
CIP-113 SDK (TypeScript) — easy1staking-com/cip113-sdk-ts | medium | TypeScript SDK for building applications on top of CIP-113 programmable tokens |
Evolution SDK — IntersectMBO/evolution-sdk · site | high | Next-gen Intersect SDK built on Effect library |
Evolution SDK Packages — IntersectMBO/evolution-sdk | high | Evolution SDK package-level READMEs |
Mesh SDK — MeshJS/meshjs.dev · site | high | Leading open-source TypeScript SDK - tx builder, wallet connectors, React |
Mesh SDK Packages — MeshJS/mesh | medium | Mesh SDK package-level documentation and READMEs |
PyCardano — Python-Cardano/pycardano · site | medium | Lightweight Python library for transaction building |
Tx3 — tx3-lang/docs · site | medium | Interface-description DSL for UTxO protocols plus toolchain (TxPipe) — authors declare a protocol’s transactions in .tx3 files; consumers generate typed clients (TypeScript, Rust, Go, Python) via the trix CLI. Ships TII/TIR interface artifacts and Cardano-specific language bindings. |
UTxORPC Go SDK — utxorpc/go-sdk · site | medium | Go SDK for the UTxORPC interface - provider-agnostic chain sync, query, and submit over gRPC |
testing
| Source | Priority | Description |
|---|---|---|
Cardano Ledger API Blaster — input-output-hk/CardanoLedgerApiBlaster | medium | Lean4 model of Plutus V1–V3 script-context types and ledger-rule predicates; how-to for importing compiled UPLC and discharging validator properties |
Cardano Node Antithesis — cardano-foundation/cardano-node-antithesis | low | Cardano-specific assets for the Antithesis deterministic-simulation testing platform — primarily for node operators and protocol engineers |
Lean Blaster — input-output-hk/Lean-blaster · site | low | Lean4 SMT backend (Z3) used to discharge theorems about Cardano validators; command/tactic |
Yaci DevKit — bloxbean/yaci-devkit · site | high | Complete local devnet - instant creation, sub-second blocks |
governance
| Source | Priority | Description |
|---|---|---|
GovTool — IntersectMBO/govtool | high | Official governance UI - register as DRep, delegate, vote |
SanchoNet — input-output-hk/sanchonet | high | Governance testnet for CIP-1694 features |
scaling
| Source | Priority | Description |
|---|---|---|
Hydra — cardano-scaling/hydra · site | high | State channels for instant finality off-chain (production-ready) |
Ouroboros Leios — input-output-hk/ouroboros-leios | medium | Next-gen consensus with Input Endorsers - 30-50x throughput |
oracles
| Source | Priority | Description |
|---|---|---|
Charli3 Pull Oracle Client — Charli3-Official/charli3-pull-oracle-client | medium | Python consumer SDK for Charli3 pull oracle - request feeds, build aggregation transactions, collect multisig signatures |
Charli3 Pull Oracle Contracts — Charli3-Official/charli3-pull-oracle-contracts | medium | Aiken (Plutus V3) contracts for Charli3’s pull-based multisig oracle - minting policy, spending validator, IQR consensus, reward logic |
Charli3 Pull Oracle SDK — Charli3-Official/charli3-pull-oracle-sdk | medium | Python off-chain core for Charli3 ODV oracles - deployment, governance, aggregation, chain queries, datum types |
Pyth Lazer Cardano — pyth-network/pyth-crosschain · site | medium | Pyth Pro (Lazer) pull oracle on Cardano - first-principles eUTxO design doc (state NFT, zero-withdrawal verification), Aiken contracts, consumer integration guide |
standards
| Source | Priority | Description |
|---|---|---|
Cardano Docs — input-output-hk/cardano-documentation · site | high | Official Cardano documentation at docs.cardano.org |
Cardano Ledger — IntersectMBO/cardano-ledger | high | Formal ledger specs - Shelley, Alonzo, Babbage, Conway eras, tx validation, fees |
CIPs — cardano-foundation/CIPs | high | Cardano Improvement Proposals - all 170+ standards |
Developer Portal — cardano-foundation/developer-portal · site | high | Official developer portal at developers.cardano.org |
Maintenance bar
Every entry must satisfy: last commit < 6 months old; ≥1 release tag or active issue/PR activity in the last 3 months; no archived / deprecated / sunset banner; for forks, the maintained canonical. See Governance for the full policy.