Write once, present everywhere! 基于 Quarto 的多格式输出中英文学术写作模板库．
Static InfoView alternative for Lean 4 code presentation.
Automating building process of redstone music in Minecraft with Python scripts and MIDI files.
Lecture notes and Lean source code for a 12-week hobby course introducing formal mathematics and Lean 4, in forms of repository / website / PDF book.
A Quarto extension that wraps your theorems and proofs in callout blocks for better visual appeal.
Render independent Quarto documents as if they were within a Quarto project.
A command line tool to ease the editing of password-protected compressed files.
Sweep out the mines quickly to escape from being left behind! A console game made with Python curses.
curses
Convert Dify conversation history JSON to Markdown file.
