cbor_ada
Ada
★ 4
updated 6d ago
CBOR (RFC 8949) encoding/decoding library for Ada/SPARK — 100% formally verified, no heap allocation, embedded-ready
No plain-English explanation yet — one is being written right now. Check back in a minute.