Remote attestation (RATS) messages in CBOR and COSE

Open Profile for DICE: CDI derivation, CBOR and X.509 certificates and DICE chains

Agent Skills: read, check and announce SKILL.md skill directories

Text extraction from PDF documents, in content-stream order

ACME (RFC 8555) certificate issuance, I/O-free core

ISO-8859-1 to -16 decoded to Unicode

HTML character references: escape text, decode as the WHATWG tokenizer does

https://tangled.org/gazagnaire.org/ocaml-typesafe

Short-lived signing certificates for Git, issued down a chain of authority

UCAN 1.0.0 delegations and invocations, offline

Seccomp policies compiled to classic BPF, with argument filters

HOTP and TOTP one-time passwords, with otpauth URI

WebAuthn relying-party verification of registrations and assertions

Base32 encodings: RFC 4648 base32 and base32hex, Crockford, sortable

Codex-related libraries and tools

deflate, zlib and gzip streams for bytesrw, with a C and a pure OCaml backends

Continuous surfaces from counts over areas: kernel densities, isolines and flow winds

in-toto attestations in DSSE envelopes

WIP: Content-addressed store of answers to requests

GitHub GraphQL client whose answers are kept in a raw store

Economic complexity measures and the product-space map

Values built on first use, safely from several domains

The OCaml standard library with the ambient world refused

Git-native issue tracker

Pangram AI-text-detection API client, I/O-free

JSON Schema draft-07 validation over ocaml-json values

Provider-neutral LLM requests, transcripts and responses, I/O-free

A local Git merge queue with content-bound gate verdicts

Hybrid Public Key Encryption (RFC 9180) with ML-KEM

EROFS images written and read in pure OCaml