shouya/neko
An adorable typed calculus langauge for STLC, System F, and System F-ω! (stalled)
Public GitHub Catalog
Discovered Sep 24, 2026
shouya / projecteuler-solutions
My projecteuler.net solutions
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.
#2642022GitHub 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