☆17Oct 26, 2026Updated 2 weeks ago
Alternatives and similar repositories for shuyu-edu
Users that are interested in shuyu-edu are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 200+ open problems in mathematics investigated by AI agents — proofs, disproofs, counterexamples, exact certificates, and AI-proposed con…☆20Sep 16, 2026Updated last month
- 支持多级目录、多格式在线预览、高保真文档协同编辑、AI 智能标签 / 重复检测 / 敏感扫描 / 智能推荐，公开·加密·白名单·协作四种分享链接。由 JitWord iframe + Preview SDK 驱动☆17Oct 5, 2026Updated last month
- ✨ AI IDE 专用多 prompt 管理系统，支持跨 IDE、一键切换、智能同步 Global / Project Prompt！ ✨☆14Apr 26, 2025Updated last year
- 本项目支持小红书 / Rednote 总浏览量、点赞量、收藏量、评论数、转发数一键查询。忽略小红书创作服务平台半年限制，支持所有笔记数据的导出，支持展示个人主页历史浏览量 Top 10 笔记。 登录创作服务平台并打开笔记管理页面后，扩展会读取当前账号的全部笔记，在浏览器本…☆23Oct 10, 2026Updated last month
- Format once, publish everywhere — Obsidian plugin for multi-platform content distribution (WeChat, Zhihu, XiaoHongShu, Twitter)☆15Aug 29, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A curated list of mathematical proofs generated by artificial intelligent systems, verified by automated theorem prover, and a list of su…☆15Oct 17, 2026Updated 3 weeks ago
- 🍺 这是fz的python utils包, for Spider! enjoy!☆11Apr 18, 2020Updated 6 years ago
- Typst模板☆10Dec 6, 2024Updated last year
- ☆13Aug 27, 2026Updated 2 months ago
- Base on React's UI lib☆14Jan 7, 2023Updated 3 years ago
- Tiny RPC library for ESP8266/ESP32 based on rpc_core☆12Sep 21, 2023Updated 3 years ago
- X.Org video driver for NVIDIA Tegra☆14Oct 24, 2021Updated 5 years ago
- Compressible Linearized Navier-Stokes Solver☆13Sep 2, 2022Updated 4 years ago
- 基于C++标准库中bitset实现的Cache模拟器（包括数据缓存和指令缓存、多种替换策略以及回写策略）☆10Apr 30, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- NVIDIA driver packaging for Ubuntu☆18Mar 23, 2021Updated 5 years ago
- AndroidCoveragePlatform☆10Jul 15, 2024Updated 2 years ago
- font rendering, Zep vim emulator, microui integration☆15Aug 19, 2022Updated 4 years ago
- Start WebContainer from VS Codde for the Web, and use Jsh and Preview URL.☆17Updated this week
- Official implementation for "NADER: Neural Architecture Design via Multi-Agent Collaboration" (CVPR2025)☆15Aug 12, 2025Updated last year
- Evidence-first mathematical modeling toolkit with reusable algorithms, Codex Skills, validation workflows, and competition-paper tooling.☆24Nov 2, 2026Updated last week
- Command Line Interface Framework for C++☆13Apr 3, 2024Updated 2 years ago
- ☆16Nov 4, 2026Updated last week
- Component (module, plugin, process (like dbus)) rpc server daemon and client library，make component communicating easier,using epoll eve…☆15Sep 2, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 牛魔方是七牛云推出的一款基于七牛rtc的方案研发demo集合app,包含了面试场景、工业检修、在线教育、在线ktv、互动娱乐、一起看电影、在线考试，语聊房、pk直播解决方案demo。☆11Sep 11, 2023Updated 3 years ago
- YinTao uitest engine~☆11Apr 22, 2024Updated 2 years ago
- 微信公众号一站式 AI 内容生产套件 — 6 个 Claude Code SKILL + CLI 工具，从选题到发布全流程覆盖☆12Mar 7, 2026Updated 8 months ago
- ☆13Jun 29, 2023Updated 3 years ago
- 基于nginx lua做前端防御，基于hadoop做用户行为分析的waf☆11Nov 17, 2016Updated 9 years ago
- C语言实现设计模式☆12Sep 18, 2023Updated 3 years ago
- h264/h265 web video player☆15May 19, 2021Updated 5 years ago
- Meeting-Monster：本地实时语音转写与 AI 面试辅助回答，支持 OpenAI 兼容模型。☆14Aug 26, 2026Updated 2 months ago
- Days: a Performant Discrete-Event Simulator for Network Simulations☆17Oct 14, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- CyberBin PPT Skill for generating local HTML slide decks☆14Jun 23, 2026Updated 4 months ago
- ☆13May 21, 2022Updated 4 years ago
- AI 测试用例生成工具。支持RAG 知识库管理和完整的测试工作流，包含需求分析、测试点设计、测试策略设计和测试用例生成等关键环节。AI Test Case Generator☆28Oct 24, 2026Updated 3 weeks ago
- Hybrid Tiny Hardware-aware Neural Architecture Search☆15Sep 7, 2022Updated 4 years ago
- 我们基于 Reasonix 架构接入 DeepSeek API，完成了一体化的安装与应用方案。该方案避免了复杂的环境配置过程，用户下载并安装后即可直接使用，显著降低了上手门槛。优势：性能够用，价格便宜（感谢ds）☆15May 26, 2026Updated 5 months ago
- A collection of skills for AI coding agents. Skills are packaged instructions and scripts that extend agent capabilities.☆25Updated this week
- DeepSeek-OCR-2-Unlimited-OCR is an advanced, experimental visual document processing and open-ended text localization dashboard. This app…☆15Jun 25, 2026Updated 4 months ago
Are these results useful?