silasm/idris-mahjong
implementation of riichi mahjong in idris for fun and research.
Discovered public repositories for silasm in the GitHub catalog.
implementation of riichi mahjong in idris for fun and research.
pathfinder combat manager made to help out a friend and force myself to learn idris :)
Requirements Analysis Document for MentorWeb project, done for Software Engineering II at San Jose State University
My own little naive implementation of Conc lists and mapreduce operations on them, with an awful attempt at parallel mergesort.
Generalized parallel largest subsequence function in Haskell
irc bot written in haskell for converting image urls to ascii
lz78 compression algorithm and the hilarious derps that have gone along with it.
BayHac 2013 Code Katas