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

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

Parses Hash URIs, for the Go programming language.

Correctness proofs from the code you already wrote: lift vendor-tested assertions to pinned FOL, verify with a warrant cited next to every line. match(Sugar) { Some(s) => cite_or_effect(s), None => panic!() }

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

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

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

Content-addressed artefact registry for AgentVault bounded-disclosure contracts

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

Self-hosted, content-addressed HTML/artifact hosting on IPFS Cluster (Kubo + CRDT): private network, multi-replica & fault-tolerant, single-host to multi-node ECS/EC2, friendly /artifact URLs via Caddy.

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

An immutable, content-addressed object model + a deterministic, effect-typed evaluator + cryptographic provenance + federated trust — the OS layer over a shipping CIRIS substrate. Signed attestations are the only state; agents are optional participants the fabric can reject. AGPL-3.0.

Core of the programs in ARK family

Accountability layer for multi-agent AI systems. Content-addressed, cryptographically signed claim DAGs.

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