silky/whereami
Where am I?
Open Source Continuous Replication / Cluster Synchronization Thing
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Where am I?
talk at budapest 2014
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
TheOpenBudget.org