GitHub repository: lurk-lab/Serde.lean
Primary language: Nix
Description: Serialization library in Lean