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 |
| 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-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-governance-graph | 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 |