amiller/python-proofmarshal
Public repository.
Public GitHub Catalog
Discovered Sep 24, 2026
amiller / cot6410coq
computability models and theorems in coq
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.
#958727GitHub System ID
amillerOrganization / User
PublicVisibility
ActiveCatalog Status
More from amiller
amiller/yellowpaper
The "Yellow Paper": Ethereum's formal specification
amiller/dieharder
A modified version of Robert G. Brown's "dieharder" tests for random number generators.
amiller/pyethereum
Next generation cryptocurrency network