respu/lean
Lean Theorem Prover
Public GitHub Catalog
Discovered Sep 28, 2026
respu / jWakfu
The first (Java) Wakfu emulator
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.
#12834608GitHub 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