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.
A Quarto extension that wraps your theorems and proofs in callout blocks for better visual appeal.
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
Render independent Quarto documents as if they were within a Quarto project.
Convert Dify conversation history JSON to Markdown file.
