Terraria protocol/helper in Scala
Updated 2018-12-04 04:59:53 +00:00
OoT Randomizer AI experiment
Updated 2021-04-02 22:50:50 +00:00
Updated 2021-02-07 04:37:02 +00:00
A set of Scala libraries that turn Tagless programs into Fancade levels
Updated 2021-05-08 00:23:12 +00:00
disconnect and power off
Updated 2020-09-19 01:28:15 +00:00
ChatChat ported from Flash to HTML5
Updated 2020-12-27 18:28:15 +00:00
A Scala library that allows other library creators to abstract away certain elements of storage
Updated 2019-01-15 00:07:06 +00:00
My AoC solutions/project.
Updated 2020-12-04 22:22:58 +00:00
Updated 2020-12-06 22:39:08 +00:00
Playground for Agda stuff
Updated 2020-10-21 23:54:36 +00:00