Pinned Repositories
PLFA-zh
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
Twist-Space-Technology-Mod
Modded elements from GTNH players. Mainly about lategame of GTNH.
plfa.github.io
An introduction to programming language theory in Agda
tenhou-paifu-to-json
Convert tenhou XML to json
acm-icpc
Tangjz's code repository, for acm-icpc.
medle
旋律猜谜游戏,每日更新~・Daily melody puzzle game (available in en/zh)
PLFA-zh
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
plfa.github.io
An introduction to programming language theory in Agda
Twist-Space-Technology-Mod
Modded elements from GTNH players. Mainly about lategame of GTNH.
threp
解析东方rep文件基本信息和按键操作 Touhou replay info and keyboard action decoder
starxingchenc's Repositories
starxingchenc/PLFA-zh
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
starxingchenc/acm-icpc
Tangjz's code repository, for acm-icpc.
starxingchenc/medle
旋律猜谜游戏,每日更新~・Daily melody puzzle game (available in en/zh)
starxingchenc/plfa.github.io
An introduction to programming language theory in Agda
starxingchenc/Twist-Space-Technology-Mod
Modded elements from GTNH players. Mainly about lategame of GTNH.