Pinned Loading

1. lean-groebner lean-groebner Public

   Lean4 formalization of Gröbner basis (WIP)

   Lean 5 1

2. 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 257 49

3. ptitSeb/box64 ptitSeb/box64 Public

   Box64 - Linux Userspace x86_64 Emulator with a twist, targeted at ARM64, RV64 and LoongArch Linux devices

   C 4.4k 324

4. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 1.8k 394

5. docker-easyconnect/docker-easyconnect docker-easyconnect/docker-easyconnect Public

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

   Shell 4.1k 368

6. DIYgod/RSSHub DIYgod/RSSHub Public

   🧡 Everything is RSSible

   TypeScript 35.9k 7.9k