shouya/neko
An adorable typed calculus langauge for STLC, System F, and System F-ω! (stalled)
Public GitHub Catalog
Discovered Oct 5, 2026
shouya / nya
"nya-chan was curious about the world of types nya~"
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.
#29721193GitHub System ID
shouyaOrganization / User
PublicVisibility
ActiveCatalog Status
More from shouya
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
shouya/thinking-dumps
This repo keeps track of my codes, answers and thinkings when exploring books.