9032676
  • Joined on Aug 22, 2020

Updated 1 year ago

plfa
Agda 0 0

Personal Programming Language Foundations in Agda (PLFA) solution

Updated 1 year ago

ParkourWar
Kotlin 0 0

DeathRun plugin for Minecraft 1.16.4 written by 9032676 with Kotlin

Updated 2 years ago

Functional Programming (Haskell like) standard library for C#

Updated 2 years ago

Updated 2 years ago