-
decryptBooxUpdateUpx Public
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
-
hagb.github.io Public
HTML Creative Commons Attribution Share Alike 4.0 International UpdatedNov 22, 2025 -
-
-
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedMay 23, 2025 -
groebner_proj Public
Forked from WuProver/groebner_projLean Apache License 2.0 UpdatedMay 12, 2025 -
SokuMods Public
Forked from SokuDev/SokuModsMods and modding frameworks for Touhou Hisoutensoku (12.3) - SWRSToys - SokuEngine
C++ The Unlicense UpdatedMay 7, 2025 -
-
lean-groebner Public archive
Lean4 formalization of Gröbner basis (WIP)
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedApr 23, 2025 -
mp-lean-zh Public
Forked from Lean-zh/mp-lean-zhLean 4 元编程
Lean Apache License 2.0 UpdatedApr 4, 2025 -
giuroll-hagb Public
A maintained and updated fork of Giuroll, a network rollback mod for 東方非想天則 / Touhou 12.3 Hisoutensoku
-
modal-logic Public
Forked from wxflogic/modal-logic《模态逻辑教程》勘误及习题解答
MIT License UpdatedMar 17, 2025 -
xiaomi-stylus-buttons Public
A simple modules maps two buttons of pen on Xiaomi Pad 6 into stylus buttons instead of PageDown and PageUp
-
termux-x11 Public
Forked from termux/termux-x11Termux X11 add-on application.
C GNU General Public License v3.0 UpdatedJan 10, 2025 -
box64 Public
Forked from ptitSeb/box64Box64 - Linux Userspace x86_64 Emulator with a twist, targeted at ARM64, RV64 and LoongArch Linux devices
C MIT License UpdatedJan 8, 2025 -
squiroll Public
Forked from Dazegambler/squirollCurrent Progress on adding rollback to touhou 15.5 Antinomy of common flowers
C++ MIT License UpdatedNov 26, 2024 -
-
-
-
CharactersInForegroundPlus Public
Patched and improved CharactersInForeground mod for 東方非想天則 / Touhou 12.3 Hisoutensoku
-
winres Public
Forked from mxre/winresCreate and set windows icons and metadata for executables with a rust build script
Rust MIT License UpdatedOct 6, 2024 -
SokuDirectXOptimizations Public
A mod for 東方非想天則 / Touhou 12.3 Hisoutensoku to introduce some optimizations about DirectX
-
cqu_timetable_new Public
课表 -> 日历，wecqu 能不用我还是不想用的。
-
SaveRep Public
A mod for Touhou 12.3 Hisoutensoku / 東方非想天則 to help save replay when the game/connection is interrupted
-
box86 Public
Forked from ptitSeb/box86Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices
C MIT License UpdatedApr 14, 2024 -
gitee-pages-action Public
Forked from yanglbme/gitee-pages-action🤖 Auto Deploy Gitee Pages by GitHub Action | 无须人为干预，由 GitHub Action 自动部署 Gitee Pages
Python MIT License UpdatedDec 17, 2023 -
soku-launcher Public
Forked from 0Miles/soku-launcherLauncher for Touhou 12.3: Hisoutensoku
C# UpdatedNov 29, 2023 -
IPv6Map Public
Make IPv4-only programs use dual-stack UDP socket, and map IPv6 addresses to IPv4 for them
-
pymycqu Public archive
对重庆大学统一身份认证和若干其他服务（教务、财务）的部分 web api 进行了封装
{{ message }}