graydon/cryptol
Cryptol: The Language of Cryptography
Public GitHub Catalog
Discovered Sep 27, 2026
graydon / ccan
The C Code Archive Network
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#11040399GitHub System ID
graydonOrganization / User
PublicVisibility
ActiveCatalog Status
More from graydon
graydon/natural-earth-vector
A global, public domain map dataset available at three scales and featuring tightly integrated vector and raster data.
graydon/country-bounding-boxes
Bounding boxes and misc info for countries
graydon/oberon-risc-emu
Emulator for the Oberon RISC machine