iBeacons/CoreCoordinator
Focus on a parallelization on Dispatcher, Layout, Scrolls, Drag, etc
Public GitHub Catalog
Discovered Sep 28, 2026
iBeacons / coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
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.
#11793585GitHub System ID
iBeaconsOrganization / User
PublicVisibility
ActiveCatalog Status
More from iBeacons
iBeacons/Dive-into-Mobile-Design
Dive into Mobile Design
iBeacons/Learn-Golang-from-scratch
Learn Golang from scratch
iBeacons/go-systemd
Go bindings to systemd socket activation, journal and D-BUS