9032676
  • Joined on Aug 22, 2020
Repositories Public Activity Starred Repositories
0
 Following
0
 Followers
0
Sort
Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks
category-research
Agda 0 0

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

FunctionalSharp
C# 0 0

Functional Programming (Haskell like) standard library for C#

Updated 2 years ago

BunkerMoney
C# 0 0

Updated 2 years ago