silasm/idris-mahjong
implementation of riichi mahjong in idris for fun and research.
Public GitHub Catalog
Discovered Sep 27, 2026
silasm / bayhaccodekatas
BayHac 2013 Code Katas
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.
#10147302GitHub System ID
silasmOrganization / User
PublicVisibility
ActiveCatalog Status
More from silasm
silasm/idris-pathfinder-combatmanager
pathfinder combat manager made to help out a friend and force myself to learn idris :)
silasm/MentorWeb-RAD
Requirements Analysis Document for MentorWeb project, done for Software Engineering II at San Jose State University
silasm/naiveReduce
My own little naive implementation of Conc lists and mapreduce operations on them, with an awful attempt at parallel mergesort.