Watch yecr/adventure

整一个命令行文字冒险小游戏玩玩，满足创作欲

Watch yecr/dsp_cal

Watch yecr/hgdb_lab

Watch yecr/PolyCalc

基于符号的多项式计算程序，用于验证一般三次方程和一般四次方程求根公式的正确性

Watch yecr/theo

尝试开发一个类lean的定理证明工具

Watch yecr/replay

一个简单的调试器，输出体系结构信息

Watch yecr/mathlib4

Watch yecr/abstract-machine

Watch yecr/SF-zh

Watch yecr/barebones-toolchain