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
easyconnect-weblogin-capture
包含了一些实用程序,用于捕获 EasyConnect 的登录过程以及给出登录时产生的 twfId
pandoc_cqu_thesis
用于重庆大学毕业论文的 pandoc filter
lean-groebner
Lean4 formalization of Gröbner basis (WIP)
321CQUWebsite
321CQU小程序后端部分
box86
Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices
drcom-generic
Dr.COM/DrCOM 现已覆盖 d p x三版。
gitee-pages-action
🤖 Auto Deploy Gitee Pages by GitHub Action | 无须人为干预,由 GitHub Action 自动部署 Gitee Pages
m-queens
Very fast n-queens solver with OpenMP support
mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
micropython-lib
Core Python libraries ported to MicroPython
MicroPython_RSA
RSA implementation for MicroPython based on Adafruit_CircuitPython_RSA
mirror-web
Source code of the web interface of https://mirrors.cqu.edu.cn/
mirror-wiki
mirror usage description
modal-logic
《模态逻辑教程》勘误及习题解答
soku-launcher
Launcher for Touhou 12.3: Hisoutensoku
SokuLib
Soku modding library
SokuMods
Mods and modding frameworks for Touhou Hisoutensoku (12.3) - SWRSToys - SokuEngine
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
thuservices
https://thu.services. A yellow page for Tsinghua/THU service/info/utils