Pinned Loading

1. beijinglug/fsfs-zh beijinglug/fsfs-zh Public

   Chinese translation for "Free Software, Free Society"(3rd)

   TeX 386 56

2. lean-groebner lean-groebner Public

   Lean4 formalization of Gröbner basis (WIP)

   Lean 2

3. pymycqu pymycqu Public archive

   对重庆大学统一身份认证和若干其他服务（教务、财务）的部分 web api 进行了封装

   Python 21 6

4. decryptBooxUpdateUpx 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

   Python 198 40

5. ilcpm/cqu-thesis-markdown ilcpm/cqu-thesis-markdown Public

   重庆大学毕业论文 Markdown 转 Word (docx) 方案

   Markdown 29 3

6. docker-easyconnect/docker-easyconnect docker-easyconnect/docker-easyconnect Public

   使深信服（Sangfor）开发的非自由的 VPN 软件 EasyConnect 和 aTrust 运行在 docker 或 podman 中，并作为网关和/或提供 socks5、http 代理服务

   Shell 3.4k 319