GitHub repository: lurk-lab/Ipld.lean
Primary language: Lean
Description: a Lean4 implementation of the IPLD format