| haskell-mts |
Merkle Tree Store — CSMT + MPF library with Lean 4 proofs and WASM targets |
Jun 2026 |
| cardano-mpfs-offchain |
Merkle Patricia Forestry server — proof-carrying API, RocksDB persistence, devnet |
Jul 2026 |
| cardano-utxo-csmt |
CSMT over the Cardano UTxO set — HTTP service for inclusion proofs |
Jun 2026 |
| cardano-stake-csmt |
CSMT over per-epoch stake distribution — verifiable stake-weighted voting proofs |
Jun 2026 |
| cardano-ledger-rdf |
Cardano ledger to RDF — transaction graph emitter and SPARQL tooling |
Jul 2026 |
| cardano-knowledge-maps |
Interactive knowledge graph of Cardano governance (CIP-1694 / Conway era) |
Jun 2026 |
| graph-browser |
RDF graph browser SPA — PureScript + Cytoscape.js, guided tours |
Apr 2026 |
| cardano-ledger-inspector |
Cardano ledger operations compiled to WASI — browser inspector and CLI |
Jul 2026 |
| cardano-addresses-browser |
Browser-based Cardano address toolkit — PureScript replacement for cardano-addresses CLI |
|
| amaru-treasury-tx |
Build and sign Amaru treasury transactions — disburse, reorganize, withdraw, swap |
Jul 2026 |
| rocksdb-kv-transactions |
RocksDB backend for composable key-value transactions |
Apr 2026 |
| cardano-node-clients |
Typed Cardano node protocol clients — Haskell library |
Jul 2026 |
| cardano-keri |
KERI AID on Cardano — self-certifying identifiers with pre-rotation for on-chain credential anchoring |
Jul 2026 |
| chain-follower |
Chain-sync follower with rollback support |
Apr 2026 |
| cardano-vcr |
Record and replay Cardano node interactions for testing |
Apr 2026 |
| cardano-mithril-client |
Haskell Mithril client — certified snapshot downloads |
Apr 2026 |
| harvest |
ZK voucher system for Cardano using Groth16 proofs |
|
| zk-lab |
Lab for intention-driven zero-knowledge DSL targeting Plutus |
|
| cardano-bbs |
BBS+ anonymous credentials for Cardano — Haskell off-chain + Aiken on-chain |
|
| eu-digital-product-passport |
Digital product passport on Cardano |
Apr 2026 |
| cardano-for-regulators |
Cardano explainers and tools for regulatory contexts |
Apr 2026 |