utxo

Here are 5 public repositories matching this topic...

diorwave / bcc-ledger-space

Formal specifications and executable models of the Bcc Ledger across multiple eras. Includes Haskell code, LaTeX specs, and formal proofs for validation, testing, and reference implementation.

haskell nix functional-programming smart-contracts blockchain proof consensus ledger specification domain-specific-language formal-specification utxo executable-specification eutxo lsabelle multi-era

Updated Oct 7, 2025
Haskell

lambdasistemi / cardano-utxo-csmt

Star

HTTP service maintaining a Compact Sparse Merkle Tree over Cardano's UTxO set for efficient inclusion proofs

haskell cryptography blockchain merkle-tree utxo cardano

Updated Jun 24, 2026
Haskell

diorwave / Freelancer-Escrow

Star

Trustless freelancer escrow system on Cardano using Plutus. Funds lock on-chain and release or refund via signed transactions, with off-chain dispute and marketplace logic.

marketplace ipfs smart-contracts buyer refund plutus escrow locking-strategies utxo off-chain cardano arweave-storage seller-payouts-releaser

Updated Nov 4, 2025
Haskell

cardano-foundation / cardano-coin-selection

Star

Self-contained Cardano coin-selection library (extracted from cardano-wallet) that also runs in the browser via WebAssembly.

haskell browser purescript webassembly wasm utxo cardano cardano-wallet coin-selection

Updated Aug 28, 2026
Haskell

danbaruka / COTS

Star

Cardano Offline Transaction Simulator (COTS) is a CLI tool for developers to simulate Cardano transactions and Plutus smart contracts offline, no node needed.

cli haskell simulator blockchain plutus utxo cardano

Updated Jul 14, 2025
Haskell

Add this topic to your repo

To associate your repository with the utxo topic, visit your repo's landing page and select "manage topics."

Learn more