agl/tls13-spec
TLS 1.3 Specification
Certificate Transparency stuff
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
TLS 1.3 Specification
ACME Specification
PPP daemon and associated utilities
Proof General theorem prover interface --- IN ATTIC BECAUSE: last cvs standing, see https://github.com/emacsmirror/p/issues/33