joescii/purescript-demo-mario
:turtle: implementation of Elm's Mario demo in PureScript
Public GitHub Catalog
Discovered Sep 30, 2026
joescii / type-prog
An attempt to grok type-level programming in Scala
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#16884640GitHub System ID
joesciiOrganization / User
PublicVisibility
ActiveCatalog Status
More from joescii
joescii/type-prog-ws
Type Programming in Scala 101 Workshop
joescii/sbt-dependency-graph
sbt plugin to create a dependency graph for your project
joescii/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"