shouya/neko
An adorable typed calculus langauge for STLC, System F, and System F-ω! (stalled)
Public GitHub Catalog
Discovered Sep 27, 2026
shouya / keynav
retire your mouse.
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.
#10836141GitHub 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