Good practices for fun and profit
Haskell · Cardano · Nix · PureScript
| Repository | Description | Pages |
|---|---|---|
| cardano-utxo-csmt | Compact Sparse Merkle Tree over Cardano's UTxO set for inclusion proofs | docs |
| cardano-node-clients | Haskell clients for Cardano node mini-protocols (N2C + N2N) | docs |
| cardano-mithril-client | Haskell client for Mithril UTxO snapshot download, verification, and extraction | |
| cardano-read-ledger | Read Cardano block data, parametrized by era | docs |
| chain-follower | Abstract chain follower types — Follower, Intersector, ProgressOrRewind | docs |
| cardano-ledger-inspector | Cardano ledger operations compiled to WASI for browser and CLI tooling | |
| amaru-treasury-tx | Build unsigned Amaru treasury transactions (disburse, reorganize, withdraw) | |
| amaru-bootstrap | Bootstrap data pipeline for Amaru on custom Cardano testnets — uses stock IOG tools, no consensus fork |
| Repository | Description | Pages |
|---|---|---|
| cardano-mpfs-offchain | Fact CRUD, transaction building, devnet server for MPFS on Cardano | docs |
| cardano-mpfs-browser | MPFS fact explorer, transaction viewer and signer | app |
| haskell-mts | Merkle Trees in Haskell with persistent storage and proofs | docs |
| Repository | Description | Pages |
|---|---|---|
| cardano-wallet-sign | Cardano BIP39 wallet derivation and transaction signing library | |
| cardano-swiss-knife | Browser-first Cardano Swiss Knife for address tools, transaction inspection, and detached witness signing | |
| cardano-addresses-browser | Browser-based Cardano address toolkit — PureScript replacement for cardano-addresses CLI | |
| haskell-gamechanger | Haskell client for the GameChanger Cardano wallet — script DSL, URL encoding, callback handling |
| Repository | Description | Pages |
|---|---|---|
| harvest | ZK voucher system for Cardano using Groth16 proofs | |
| zk-lab | Lab for intention-driven zero-knowledge DSL targeting Plutus (Groth16, BBS+, Halo2) | |
| cardano-bbs | BBS+ anonymous credentials for Cardano — Haskell off-chain + Aiken on-chain | |
| peer-proof-protocols | Research and specifications for peer-only Merkle proof protocols |
| Repository | Description | Pages |
|---|---|---|
| cardano-vcr | W3C Verifiable Credentials 2.0 on Cardano via MPFS | docs |
| eu-digital-product-passport | Feasibility study: EU Digital Product Passports on Cardano | docs |
| cardano-for-regulators | Mapping multi-party regulations to Cardano compliance infrastructure | docs |
| cddl-aiken | CDDL to Aiken withdrawal validator compiler | docs |
| Repository | Description | Pages |
|---|---|---|
| cardano-knowledge-maps | Interactive knowledge graph of Cardano governance (CIP-1694, Conway era) | app |
| graph-browser | Interactive knowledge graph browser with guided tours — PureScript + Cytoscape.js | app |
| call-graph-explorer | Interactive function call graph explorer for Haskell projects | app |
| Repository | Description | Pages |
|---|---|---|
| kel-circle | Synchronized multi-KEL circle protocol — event-sourced group coordination | docs |
| Repository | Description | Pages |
|---|---|---|
| agent-daemon | WebSocket daemon for managing Claude Code agent sessions via tmux and git worktrees | docs |
| kanbanned | Terminal kanban board for agent-daemon | |
| gh-dashboard | Client-side GitHub dashboard — repos, issues, PRs, projects and CI on a single page | app |
| libvterm-haskell | Haskell FFI bindings to libvterm (neovim fork) | |
| homebrew-tap | Homebrew formulae for lambdasistemi projects | |
| cachix-warmup | Cachix cache warming workflows for GHC on aarch64-darwin |
| Repository | Description | Pages |
|---|---|---|
| rocksdb-haskell | RocksDB Haskell bindings | |
| rocksdb-kv-transactions | RocksDB backend for key-value transactions | docs |
| contra-tracer-contrib | Utility modules for contra-tracer: file logging, thread-safe wrappers, timestamps, throttling | docs |
| crypton-certificate | Certificate and Key Reader/Writer in Haskell | |
| datastar-haskell-nix | Nix flake wrapper for datastar-haskell (GHC 9.12.2) | |
| datastar-examples | TODO list app with datastar-hs, Warp, SQLite, Pico CSS |
| Repository | Description | Pages |
|---|---|---|
| giacenza | page | |
| antithesing-1 | Antithesis testing repository |