_rqy's repositories
OI-Problem-Codes
_rqy's codes of OI problems.
FlappyBird
A Simple Flappy Bird
typst-experiment
Some experimental Typst files.
OI-Templates
Some template codes in OI.
Old-blog-source
Hugo Blog source directory
hesi-2021-graduation
荷思 2021 毕业专刊源码。
tsing_composter
A mod for Minecraft. Better composter.
Language:TypeScriptMIT000
Botania
A tech mod for Minecraft themed around the magic of nature and plant life.
Language:JavaNOASSERTION000
emacs-rime
RIME ㄓ in Emacs
Language:Emacs LispGPL-3.0000
Hakyll
Hakyll blog source
Language:TeXMIT000
scoop-bucket
Scoop bucket, see https://scoop.sh.
000
typical-math
A general-purpose type theory and proof checker generator.
Language:HaskellGPL-3.0000
typst
A new markup-based typesetting system that is powerful and easy to learn.
Language:RustApache-2.0000