Skip to content
View sun123zxy's full-sized avatar
12 followers · 41 following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report sun123zxy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
sun123zxy/README.md

Pinned Loading

  1. sunquartex sunquartex Public template

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

    Lua 7 4

  2. lean4-static-infoview lean4-static-infoview Public

    Static InfoView alternative for Lean 4 code presentation

    HTML 1

  3. redstone-music-generator redstone-music-generator Public

    python & MIDI automate redstone music building process in Minecraft

    Python 3

  4. quarto-callouty-theorem quarto-callouty-theorem Public

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

    Lua 4

  5. 7z-edit 7z-edit Public

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

    Python 1

  6. lean4-formal-math-intro lean4-formal-math-intro Public

    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.

    Lean 3