8 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
adobe-source-han-super-otc 20190603-2 1 0.11 Source Han & Noto CJK Mega/Ultra OTCs ouuan
guide-bin 1.0.2-5 0 0.00 由北航 GAIT 研究组开发的、专门为 NOI 选手设计的轻型集成开发环境 ouuan
lean-community 3.24.0-1 2 0.18 Lean Theorem Prover, maintained by the Lean community ouuan
noi-despised-git r39.99c788f-1 0 0.00 NOI 背笔试工具 ouuan
pacwatch 1.0.1-1 1 0.27 A pacman wrapper which helps you watch important package updates ouuan
python-mathlibtools 1.0.0-2 1 0.07 This package contains leanproject, a supporting tool for Lean mathlib ouuan
uoj-data-converter 0.4.2-1 1 0.35 将各种各样格式的数据转换为 UOJ 的格式 ouuan
uoj-data-converter-git 0.4.2.r2.g7acb800-1 1 0.35 将各种各样格式的数据转换为 UOJ 的格式 ouuan

8 packages found. Page 1 of 1.