Popular repositories Loading

1. tournament-hamiltonian-paths tournament-hamiltonian-paths Public

   Bilingual research manuscript, proof audits and reproducible diagnostics for constant-factor bounds on Hamiltonian paths in tournaments.

   Lean 4 2

2. note-gen note-gen Public

   自动笔记软件：PDF → 模块化、可双向定位、可增删改的 Markdown/LaTeX 笔记

   Python 1

3. FreeNodesDaily FreeNodesDaily Public

   Forked from SzeChiaHao/FreeNodesDaily

   免费节点 | 免费订阅 | 免费 clash 节点 | 免费 v2ray 节点 | 免费 ss 节点 | 免费 trojan 节点。每天自动抓取公开免费节点，真实隧道测速、按实测速度排序、剔除死节点，一键导出 Clash/mihomo、sing-box、v2rayN·v2rayNG、Shadowrocket、Shadowsocks 订阅。含 Windows 流水线与 Android App「…

   Kotlin

4. pdf-compact pdf-compact Public

   Shrink PDFs by merging duplicate TrueType subsets, deduplicating streams and repacking object streams. Pure Python, no rasterisation.

   Python