graydon/natural-earth-vector
A global, public domain map dataset available at three scales and featuring tightly integrated vector and raster data.
Public GitHub Catalog
Discovered Sep 30, 2026
graydon / cryptol
Cryptol: The Language of Cryptography
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.
#19125457GitHub System ID
graydonOrganization / User
PublicVisibility
ActiveCatalog Status
More from graydon
graydon/country-bounding-boxes
Bounding boxes and misc info for countries
graydon/oberon-risc-emu
Emulator for the Oberon RISC machine
graydon/heka-py
Heka Python Library