Repositories
11
 Projects Packages Public activity Starred repositories
Filter
Sort
garden
1 0
https://github.com/flancian/agora#whats-an-agora
Updated 2026-04-01 15:43:38 +00:00
fancadescala
Scala 0 0
A set of Scala libraries that turn Tagless programs into Fancade levels
Updated 2021-05-08 00:23:12 +00:00
ootAI
OCaml 0 0
OoT Randomizer AI experiment
Updated 2021-04-02 22:50:50 +00:00
monadmachines
Kotlin 0 0
Updated 2021-02-07 04:37:02 +00:00
chatchat
TypeScript 0 0
ChatChat ported from Flash to HTML5
Updated 2020-12-27 18:28:15 +00:00
aoc
Scala 1 0
Updated 2020-12-06 22:39:08 +00:00
aoc-old
Scala 0 0
My AoC solutions/project.
Updated 2020-12-04 22:22:58 +00:00
agdaplayground
Agda 0 0
Playground for Agda stuff
Updated 2020-10-21 23:54:36 +00:00
dc
Zig 1 0
disconnect and power off
Updated 2020-09-19 01:28:15 +00:00
cataquack
Scala 0 0
A Scala library that allows other library creators to abstract away certain elements of storage
Updated 2019-01-15 00:07:06 +00:00
starry
Scala 0 0
Terraria protocol/helper in Scala
Updated 2018-12-04 04:59:53 +00:00