jameshfisher/escape-from-rlyeh
Escape from R'lyeh: A Lovecraftian game of non-Euclidean geometries (#1GAM 2015-01)
Public GitHub Catalog
Discovered Sep 29, 2026
jameshfisher / programming-problems-in-idris
Problems from http://adriann.github.io/programming_problems.html, solutions using Idris
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.
#15442428GitHub System ID
jameshfisherOrganization / User
PublicVisibility
ActiveCatalog Status
More from jameshfisher
jameshfisher/core
Elm's core libraries
jameshfisher/roomba
Public repository.
jameshfisher/tlaplus
Public repository.