Hagb

Interested in and learning mathematical logic

Chongqing University Chongqing, China or Guangdong, China

Pinned Repositories

fsfs-zh
Chinese translation for "Free Software, Free Society"(3rd)
Language:TeX388 33 8856
docker-easyconnect
使深信服（Sangfor）开发的非自由的 VPN 软件 EasyConnect 和 aTrust 运行在 docker 或 podman 中，并作为网关和/或提供 socks5、http 代理服务
Language:Shell3.9k 18 348354
cqu-duodian-curl
(b)ash script using curl for duodian Internet login in Chongqing University
Language:Shell11 3 10
cqu_timetable_new
课表 -> 日历，wecqu 能不用我还是不想用的。
Language:Python22 6 42
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
Language:Python237 11 7044
endless-sky-zh_CN-l10n
Simplified Chinese translations of the game Endless Sky (unofficial)
9 3 11
giuroll-hagb
A maintained and updated fork of Giuroll, a network rollback mod for 東方非想天則 / Touhou 12.3 Hisoutensoku
Language:Rust2 1 01
lean-groebner
Lean4 formalization of Gröbner basis (WIP)
Language:Lean3 2 00
pymycqu
对重庆大学统一身份认证和若干其他服务（教务、财务）的部分 web api 进行了封装
Language:Python21 2 06
box86
Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices
Language:C3.4k 72 652234

Hagb's Repositories

Hagb/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
Language:Python237 11 7044
Hagb/cqu_timetable_new
课表 -> 日历，wecqu 能不用我还是不想用的。
Language:Python22 6 42
Hagb/pymycqu
对重庆大学统一身份认证和若干其他服务（教务、财务）的部分 web api 进行了封装
Language:Python21 2 06
Hagb/IPv6Map
Make IPv4-only programs use dual-stack UDP socket, and map IPv6 addresses to IPv4 for them
Language:C4 2 0
Hagb/SaveRep
A mod for Touhou 12.3 Hisoutensoku / 東方非想天則 to help save replay when the game/connection is interrupted
Language:C++4 2 0
Hagb/easyconnect-weblogin-capture
包含了一些实用程序，用于捕获 EasyConnect 的登录过程以及给出登录时产生的 twfId
Language:Shell3 2 1
Hagb/lean-groebner
Lean4 formalization of Gröbner basis (WIP)
Language:Lean3 2 00
Hagb/pandoc_cqu_thesis
用于重庆大学毕业论文的 pandoc filter
Language:Python3 2 0
Hagb/giuroll-hagb
A maintained and updated fork of Giuroll, a network rollback mod for 東方非想天則 / Touhou 12.3 Hisoutensoku
Language:Rust2 1 01
Hagb/box86
Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices
Language:C0 0
Hagb/CharactersInForegroundPlus
Patched and improved CharactersInForeground mod for 東方非想天則 / Touhou 12.3 Hisoutensoku
Language:C++1
Hagb/drcom-generic
Dr.COM/DrCOM 现已覆盖 d p x三版。
Language:Python1 0
Hagb/gitee-pages-action
🤖 Auto Deploy Gitee Pages by GitHub Action | 无须人为干预，由 GitHub Action 自动部署 Gitee Pages
Language:Python1 0
Hagb/giuroll
Language:Rust0 0
Hagb/giuroll-injector
Language:Rust1 01
Hagb/hagb.github.io
Language:HTML3 6
Hagb/m-queens
Very fast n-queens solver with OpenMP support
Language:C1 0
Hagb/mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
Language:Python1 0
Hagb/mirror-frontend
Language:CSS1 0
Hagb/mirror-wiki
mirror usage description
Language:CSS2 0
Hagb/ModTemplate
Language:C++1 0
Hagb/soku-launcher
Launcher for Touhou 12.3: Hisoutensoku
Language:C#1 0
Hagb/SokuDirectXOptimizations
A mod for 東方非想天則 / Touhou 12.3 Hisoutensoku to introduce some optimizations about DirectX
Language:C++
Hagb/SokuLib
Soku modding library
Language:C1 0
Hagb/SokuLobbies
Language:C++1 0
Hagb/SokuMods
Mods and modding frameworks for Touhou Hisoutensoku (12.3) - SWRSToys - SokuEngine
Language:C++1 0
Hagb/squiroll
Current Progress on adding rollback to touhou 15.5 Antinomy of common flowers
Language:C++
Hagb/th123intl
Language:C++1 0
Hagb/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
Language:C2 0
Hagb/winres
Create and set windows icons and metadata for executables with a rust build script
Language:Rust0 0