Awesome Lean / Libraries
9Serialization
9 entries
- lean-jsonJSON library with no
partialfunctions or panics, proved against the RFC 8259 grammar, with small binaries.paulbutcher/lean-json - lean4-json-schemaDerives JSON Schema from types, with kernel-checked proofs that serialization validates.predictable-machines/lean4-json-schema
- protobufProtocol Buffers implementation.Lean-zh/protobuf
- binarySerialization and deserialization of binary data, inspired by Haskell's
binary.Lean-zh/binary - LeanSerdeSerialization framework with deriving handlers.oOo0oOo/LeanSerde
- ln-messagepackMessagePack serialization in pure Lean.ItsMeForLua/ln_messagepack
- lean4-base64RFC 4648 Base64 encoding and decoding.predictable-machines/lean4-base64
- protovalidate-leanTurns CEL constraints on protobuf fields into refinement types.pb64-lean/protovalidate-lean
- leanxml2libxml2 bindings: DOM parsing, namespaces, serialization and XPath.paulbutcher/leanxml2