matheus23/LambdaDeclarative
Little experiment on trying to implement a graphical Lambda-Calculus editor
Public GitHub Catalog
Discovered Oct 5, 2026
matheus23 / DontTouchTheSpikesHaskell
Don't touch the Spikes (Smartphone game, see Play Store) implemented in Haskell using DeclarativeGraphics
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.
#30324206GitHub System ID
matheus23Organization / User
PublicVisibility
ActiveCatalog Status
More from matheus23
matheus23/GameSystem
Public repository.
matheus23/racket-chess
An implementation of the chess game for playing in the racket repl. It uses racket/pict.
matheus23/quantities
Type-safe physical computations and unit conversions in Idris