starxingchenc

Pinned Repositories

PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Language:Haskell204 9 4622
Twist-Space-Technology-Mod
Modded elements from GTNH players. Mainly about lategame of GTNH.
Language:Java148 5 15140
plfa.github.io
An introduction to programming language theory in Agda
Language:Agda1.3k 23 254302
tenhou-paifu-to-json
Convert tenhou XML to json
Language:Haskell5 1 33
acm-icpc
Tangjz's code repository, for acm-icpc.
Language:C++0 0 00
medle
旋律猜谜游戏，每日更新~・Daily melody puzzle game (available in en/zh)
Language:JavaScript0 0 01
PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Language:HTML1 0 00
plfa.github.io
An introduction to programming language theory in Agda
Language:Agda0 0 00
Twist-Space-Technology-Mod
Modded elements from GTNH players. Mainly about lategame of GTNH.
Language:Java00
threp
解析东方rep文件基本信息和按键操作 Touhou replay info and keyboard action decoder
Language:Python25 3 31

starxingchenc's Repositories

starxingchenc/PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Language:HTML1 0 00
starxingchenc/acm-icpc
Tangjz's code repository, for acm-icpc.
Language:C++0 0 00
starxingchenc/medle
旋律猜谜游戏，每日更新~・Daily melody puzzle game (available in en/zh)
Language:JavaScript0 0 01
starxingchenc/plfa.github.io
An introduction to programming language theory in Agda
Language:Agda0 0 00
starxingchenc/Twist-Space-Technology-Mod
Modded elements from GTNH players. Mainly about lategame of GTNH.
Language:Java00