matheus23/DontTouchTheSpikesHaskell
Don't touch the Spikes (Smartphone game, see Play Store) implemented in Haskell using DeclarativeGraphics
Little experiment on trying to implement a graphical Lambda-Calculus editor
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Don't touch the Spikes (Smartphone game, see Play Store) implemented in Haskell using DeclarativeGraphics
Public repository.
An implementation of the chess game for playing in the racket repl. It uses racket/pict.
Type-safe physical computations and unit conversions in Idris