shouya/neko
An adorable typed calculus langauge for STLC, System F, and System F-ω! (stalled)
Public GitHub Catalog
Discovered Sep 28, 2026
shouya / gximemo
Ĝi kredas ĝi memo: A PEG parser engine
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.
#13251328GitHub System ID
shouyaOrganization / User
PublicVisibility
ActiveCatalog Status
More from shouya
shouya/nya
"nya-chan was curious about the world of types nya~"
shouya/rails_sandbox
a tiny gem that provides a protective sandbox for database transactions
shouya/projz
Project Z: An emulation of intel 8080 CPU in Haskell