starxingchenc

Pinned Repositories

PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Language:Haskell209 9 4622
Twist-Space-Technology-Mod
Modded elements from GTNH players. Mainly about lategame of GTNH.
Language:Java215 6 20951
plfa.github.io
An introduction to programming language theory in Agda
Language:Agda1.4k 25 258321
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
osucatch-preview
预览接水果专谱和转谱
00
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:Python26 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/osucatch-preview
预览接水果专谱和转谱
00
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