Public GitHub Catalog
Discovered Sep 30, 2026
leodemoura / APPA
\all X. X \Pi: APPA article
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.
#19117564GitHub System ID
leodemouraOrganization / User
PublicVisibility
ActiveCatalog Status
More from leodemoura
leodemoura/lean.js
Lean ported to Javascript with Emscripten
leodemoura/tutorial
Lean Tutorials
leodemoura/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.