Pinned Loading

1. sunquartex sunquartex Public template

   Write once, present everywhere! 基于 Quarto 的多格式输出中英文学术写作模板库．

   Lua 6 4

2. redstone-music-generator redstone-music-generator Public

   python & MIDI automate redstone music building process in Minecraft

   Python 3

3. quarto-callouty-theorem quarto-callouty-theorem Public

   A Quarto extension that wraps your theorems and proofs in callout blocks for better visual appeal.

   Lua 3

4. 7z-edit 7z-edit Public

   A command line tool to ease the editing of password-protected compressed files.

   Python 1

5. minesweeper-roguelike minesweeper-roguelike Public

   Sweep out the mines quickly to escape from being left behind!

   Python 1

6. 2025fall-lean4-teach 2025fall-lean4-teach Public

   Introduction to Formal Mathematics with Lean 4

   Lean 1