shouya/neko
An adorable typed calculus langauge for STLC, System F, and System F-ω! (stalled)
Written in C and using SDL, The Powder Toy is a desktop version of the classic 'falling sand' physics sandbox, it simulates air pressure and velocity as well as heat.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
An adorable typed calculus langauge for STLC, System F, and System F-ω! (stalled)
"nya-chan was curious about the world of types nya~"
a tiny gem that provides a protective sandbox for database transactions
Project Z: An emulation of intel 8080 CPU in Haskell