respu/orbit
Orbit - Build distributed, secure and scalable online services.
Public GitHub Catalog
Discovered Oct 6, 2026
respu / lean
Lean Theorem Prover
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.
#33148897GitHub System ID
respuOrganization / User
PublicVisibility
ActiveCatalog Status
More from respu
respu/LightQ
Public repository.
respu/cppkit
an upcoming general purpose C++11 library.
respu/boost.http
Embeddable C++ HTTP server