Repositories list

• cardano-keri

  Public
  KERI AID on Cardano: self-certifying identifiers with pre-rotation for on-chain credential anchoring

  identityhaskellaiken+ 4

  identityhaskellaikencardanokerivleiself-certifying-identifiers

  Haskell

  •11 fork•33 stars•8686 issues•99 pull requests•Updated Sep 2, 2026Sep 2, 2026

• cardano-mpfs-offchain

  Public
  Fact CRUD, transaction building, devnet server for Merkle Patricia Forestry on Cardano

  Haskell

  •

  Apache License 2.0

  •00 forks•00 stars•4444 issues•66 pull requests•Updated Sep 2, 2026Sep 2, 2026

• amaru-bootstrap

  Public
  Bootstrap data pipeline for Amaru on custom Cardano testnets — uses stock IOG tools, no consensus fork

  Shell

  •

  Apache License 2.0

  •00 forks•00 stars•77 issues•1818 pull requests•Updated Sep 2, 2026Sep 2, 2026

• lambdasistemi.net

  Public
  Source of lambdasistemi.net

  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 31, 2026Aug 31, 2026

• amaru-treasury-tx

  Public
  Build unsigned Amaru treasury transactions (disburse, reorganize, withdraw)

  haskelltreasurycardano+ 2

  haskelltreasurycardanotx-builderamaru

  Haskell

  •

  Apache License 2.0

  •00 forks•00 stars•7171 issues•44 pull requests•Updated Aug 29, 2026Aug 29, 2026

• plutus

  Public
  The Plutus language implementation and tools

  Haskell

  •

  Apache License 2.0

  •506506 forks•00 stars•146146 issues•00 pull requests•Updated Aug 24, 2026Aug 24, 2026

• plutus-browser

  Public
  Browser UI for the wasm32 Plutus evaluator (UPLC playground + snippets). PureScript + MUI; depends on lambdasistemi/plutus releases.

  browserpurescriptwebassembly+ 2

  browserpurescriptwebassemblyplutusuplc

  PureScript

  •00 forks•00 stars•11 issue•00 pull requests•Updated Aug 24, 2026Aug 24, 2026

• cardano-tx-tools

  Public
  Cardano transaction tooling: builder, structural diff, blueprint decoding. Uses cardano-node-clients but is not a node client.

  haskellblockchaintransaction+ 5

  haskellblockchaintransactionblueprintplutuscardanotx-buildertx-diff

  Haskell

  •

  Apache License 2.0

  •00 forks•00 stars•2828 issues•66 pull requests•Updated Aug 22, 2026Aug 22, 2026

• cardano-lib-conformance

  Public
  Runnable evidence for the cardano-dev-skills fixpoint skill: pinned probes as nix flake checks, with floating-mode drift detection

  testingnixconformance+ 2

  testingnixconformancecardanotransaction-balancing

  Nix

  •00 forks•00 stars•88 issues•11 pull request•Updated Aug 20, 2026Aug 20, 2026

• factory-tui

  Public
  Browse the agent factory as a tree of seats over a flat terminal land

  tmuxfactorytui+ 2

  tmuxfactorytuicompositorratatui

  Rust

  •

  Other

  •00 forks•00 stars•77 issues•22 pull requests•Updated Aug 19, 2026Aug 19, 2026

• spec-kit

  Public
  💫 Toolkit to help you get started with Spec-Driven Development

  Python

  •

  MIT License

  •12k12k forks•00 stars•44 issues•11 pull request•Updated Aug 14, 2026Aug 14, 2026

• homebrew-tap

  Public
  Homebrew formulae for lambdasistemi projects

  Ruby

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 13, 2026Aug 13, 2026

• trenitalia-maps

  Public
  Live map of Italian trains — zoom-invariant bounded-sampling renderer (Three.js)

  JavaScript

  •00 forks•00 stars•44 issues•33 pull requests•Updated Aug 11, 2026Aug 11, 2026

• cardano-swiss-knife

  Public
  Browser-first Cardano Swiss Knife for address tools, transaction inspection, and detached witness signing.

  nixpurescriptwebassembly+ 3

  nixpurescriptwebassemblystatic-sitehalogencardano

  JavaScript

  •

  MIT License

  •00 forks•00 stars•2929 issues•22 pull requests•Updated Aug 11, 2026Aug 11, 2026

• cardano-ledger-inspector

  Public
  Cardano ledger operations compiled to WASI for browser and CLI tooling

  haskellpurescriptwasm+ 3

  haskellpurescriptwasmledgercardanowasi

  Haskell

  •

  MIT License

  •00 forks•00 stars•1616 issues•22 pull requests•Updated Jul 29, 2026Jul 29, 2026

• tally

  Public
  Private credit channels for Cardano — a docs-only design study over subbit-style channels

  zkcardanodesign-docs+ 1

  zkcardanodesign-docscredit-channels

  00 forks•00 stars•22 issues•00 pull requests•Updated Jul 27, 2026Jul 27, 2026

• cardano-node-clients

  Public
  Haskell clients for Cardano node mini-protocols (N2C + N2N)

  haskellcardanoouroboros+ 2

  haskellcardanoouroborosn2ctransaction-submission

  Haskell

  •

  Apache License 2.0

  •00 forks•00 stars•3232 issues•55 pull requests•Updated Jul 27, 2026Jul 27, 2026

• trenitalia-live-map

  Public
  JavaScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 26, 2026Jul 26, 2026

• amaru

  Public
  A fully open source node client for Cardano, written in Rust

  Rust

  •

  Apache License 2.0

  •3434 forks•00 stars•11 issue•11 pull request•Updated Jul 25, 2026Jul 25, 2026

• haskell-mts

  Public
  Merkle Trees implementation in Haskell with persistent storage and Merkle proofs

  rocksdbhaskellcryptography+ 3

  rocksdbhaskellcryptographyblockchaindata-structuresmerkle-tree

  Haskell

  •

  Apache License 2.0

  •00 forks•00 stars•1212 issues•22 pull requests•Updated Jul 24, 2026Jul 24, 2026

• .github

  Public
  Organization profile

  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 24, 2026Jul 24, 2026

• medibox

  Public
  control midi controlled music sequencer

  Haskell

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 21, 2026Jul 21, 2026

• cardano-node

  Public
  The core component that is used to participate in a Cardano decentralised blockchain.

  Haskell

  •

  Apache License 2.0

  •751751 forks•11 star•00 issues•00 pull requests•Updated Jul 20, 2026Jul 20, 2026

• tmux-ws

  Public
  Touch-first Haskell/PureScript tmux workspace and terminal controller for tablets and small screens

  tmuxhaskellnix+ 5

  tmuxhaskellnixterminalpurescriptwebsockettablettouch-interface

  Haskell

  •

  MIT License

  •00 forks•11 star•88 issues•77 pull requests•Updated Jul 17, 2026Jul 17, 2026

• cardano-ledger-rdf

  Public
  Cardano transaction graph and RDF tools

  haskelllinked-datardf+ 3

  haskelllinked-datardfjson-ldtransactionscardano

  Haskell

  •

  Apache License 2.0

  •00 forks•00 stars•77 issues•22 pull requests•Updated Jul 13, 2026Jul 13, 2026

• cardano-addresses-browser

  Public
  Browser-based Cardano address toolkit — PureScript replacement for cardano-addresses CLI

  PureScript

  •00 forks•00 stars•00 issues•11 pull request•Updated Jul 11, 2026Jul 11, 2026

• sideband

  Public
  Telegram side channel for unattended coding agents

  botclihaskell+ 3

  botclihaskellnixtelegramagents

  Haskell

  •

  MIT License

  •00 forks•00 stars•00 issues•11 pull request•Updated Jul 11, 2026Jul 11, 2026

• cachix-warmup

  Public
  Cachix cache warming workflows for GHC on aarch64-darwin

  00 forks•00 stars•00 issues•00 pull requests•Updated Jul 10, 2026Jul 10, 2026

• cardano-mpfs-browser

  Public
  MPFS fact explorer and transaction viewer and signer

  PureScript

  •00 forks•00 stars•1818 issues•55 pull requests•Updated Jul 10, 2026Jul 10, 2026

• cip113-tx-builder

  Public
  CIP-113 programmable token transaction builders — CLI, Haskell library, WASM-WASI

  Haskell

  •00 forks•00 stars•99 issues•00 pull requests•Updated Jul 7, 2026Jul 7, 2026