Pinned Repositories
MarioGame
Kelley
The .ftl file of the Kelley-formalization.
TestProject
ElectronicObserver
艦これ補助ツール「七四式電子観測儀」
EOPlugin-WhiteFleet
ホワイト艦隊 / 白色舰队
mochizuki_warehouse
ooi3-html-files
SAD
automated verifier of formalized mathematical texts
YouTube_get_video
从YouTube上爬取视频
McgList
一个mcg工程列表
Tsukumoyarei's Repositories
Tsukumoyarei/ElectronicObserver
艦これ補助ツール「七四式電子観測儀」
Tsukumoyarei/EOPlugin-WhiteFleet
ホワイト艦隊 / 白色舰队
Tsukumoyarei/mochizuki_warehouse
Tsukumoyarei/ooi3-html-files
Tsukumoyarei/SAD
automated verifier of formalized mathematical texts
Tsukumoyarei/YouTube_get_video
从YouTube上爬取视频