Hagb (Junyu Guo 郭俊余)'s repositories
decryptBooxUpdateUpx
Decrypt `update.upx` the encrypted ROM update package released by Onyx Boox, so as to get the zip format update package which can be read by Recovery directly
cqu_timetable_new
课表 -> 日历,wecqu 能不用我还是不想用的。
easyconnect-weblogin-capture
包含了一些实用程序,用于捕获 EasyConnect 的登录过程以及给出登录时产生的 twfId
lean-groebner
Lean4 formalization of Gröbner basis (WIP)
pandoc_cqu_thesis
用于重庆大学毕业论文的 pandoc filter
giuroll-hagb
A maintained and updated fork of Giuroll, a network rollback mod for 東方非想天則 / Touhou 12.3 Hisoutensoku
box86
Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices
CharactersInForegroundPlus
Patched and improved CharactersInForeground mod for 東方非想天則 / Touhou 12.3 Hisoutensoku
drcom-generic
Dr.COM/DrCOM 现已覆盖 d p x三版。
gitee-pages-action
🤖 Auto Deploy Gitee Pages by GitHub Action | 无须人为干预,由 GitHub Action 自动部署 Gitee Pages
mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
mirror-wiki
mirror usage description
soku-launcher
Launcher for Touhou 12.3: Hisoutensoku
SokuDirectXOptimizations
A mod for 東方非想天則 / Touhou 12.3 Hisoutensoku to introduce some optimizations about DirectX
squiroll
Current Progress on adding rollback to touhou 15.5 Antinomy of common flowers
thread_reuse
Threads reuse via LD_PRELOAD hook, and also a workaround for the memory leak of qemu-user when threads are created and destroyed
winres
Create and set windows icons and metadata for executables with a rust build script