Popular repositories Loading

1. prescribed-isolated-intervals prescribed-isolated-intervals Public

   Lean 4 and Python support for prescribed isolated intervals in higher-fold sumsets.

   Lean 1

2. Course Course Public

   Forked from mbmcmzh/JNU_CourseSnatcher

   暨南大学抢课脚本

   Python

3. nbulanlogin nbulanlogin Public

   Forked from zetaloop/nbulanlogin

   宁波大学宿舍宽带登录器

   Python

4. gemini-voyager gemini-voyager Public

   Forked from Nagi-ovo/gemini-voyager

   An all-in-one enhancement suite for Google Gemini & AI Studio - timeline navigation, folder management, prompt library, and chat export in one powerful extension. / Google Gemini & AI Studio 全能增强插件…

   TypeScript

5. MinerU MinerU Public

   Forked from opendatalab/MinerU

   Transforms complex documents like PDFs and Office docs into LLM-ready markdown/JSON for your Agentic workflows.

   Python

6. markitdown markitdown Public

   Forked from microsoft/markitdown

   Python tool for converting files and office documents to Markdown.

   Python