IPFS wrapper for Haskell

Content-addressed data over HTTP using magnet links

A website for decoding CIDs

Public Distributed Commit Log is modular library that lets you build platform for public messages exchange

Implementation of the CAR Mirror protocol for Kubo

Parses Hash URIs, for the Go programming language.

Package digestfs provides a content-addressable virtual file system (VFS) by providing a common interface to one or more content-addressable storage (CAS).

Generic Go implementation of the CAR Mirror protocol

Sema is a content-addressed vocabulary for AI agents. Precise thinking, reliable references, safe multi-agent coordination. Hash the meaning, get the word.

Prove `k(I)=t`. A general-purpose framework for proving any transformation produces its canonical truth object. The substrate is opaque to domain; any verifiable proposition gets a 64-byte content-addressed name. Evidence is a proofchain: signed, locally verifiable. A blockchain carries state transitions; a proofchain carries formal proofs.

Immutable checkpoint storage for ML training pipelines. Kernel-level protection, anomaly detection, score-gated rollback, and self-healing recovery. Built in Rust.

Content-addressed artefact registry for AgentVault bounded-disclosure contracts

Sovereign realizability topos and non-RLHF agentic AI kernel. 254 domains. λ < 1 λ<1 contraction-to-truth. Merkle-anchored deterministic toolchain

A programming language for agentic AI — intent, effects, contracts, confidence, and refusal as first-class enforced properties.

ALX Protocol by Xandr Labs — Protocol to Product.

Package ca provides tools for dealing with content-addressing, and working with content-addressable storages, for the Go programming language.

Evidence-gated claims, continuity anchors, and deterministic receipts for agent workflows. Language is a proposal, not an authority.

Slides For: Hashing & Content Addressability: Foundations of Git, Bitcoin, & Nix

Core of the programs in ARK family

Python implementation of DNSLink protocol