CBOR (RFC 8949) encoding/decoding library for Ada/SPARK — 100% formally verified, no heap allocation, embedded-ready
-
Updated
May 2, 2026 - Ada
CBOR (RFC 8949) encoding/decoding library for Ada/SPARK — 100% formally verified, no heap allocation, embedded-ready
Binary web content format for autonomous AI agents — CBOR (RFC 8949)
A zero-dependency library to encode and decode CBOR (RFC8949) for TypeScript.
Minimal CBOR encoder/decoder for embedded systems written in portable C99, focused on zero-allocation telemetry and small firmware targets.
Add a description, image, and links to the rfc8949 topic page so that developers can more easily learn about it.
To associate your repository with the rfc8949 topic, visit your repo's landing page and select "manage topics."