🔥 GitHub 每日热门项目
更新时间：2026年08月02日 00:01 (北京时间) 数据来源：GitHub Trending & Search API
以下是过去每日内最受欢迎的开源项目，按新增 Star 数排序。
1. openai/ten-proofs
Lean certificates accompanying proofs in mathematics and theoretical computer science
- ⭐ Stars: 120
- 💻 Language: Lean
- 🏷️ Topics: 无
2. luckyzyx/LuckyTool
对ColorOS进行扩展优化的Xposed模块，永久免费
- ⭐ Stars: 100
- 💻 Language: Kotlin
- 🏷️ Topics: 无
3. Anionex/codex-deepseek-vision
一个可以让像deepseek-v4这样的纯文本模型, 在codex中无障碍调用内置看图工具(view_image)的方案，附多模态工具包。
- ⭐ Stars: 70
- 💻 Language: Python
- 🏷️ Topics: 无
4. gabefishercb508/abay-bot-workflow-tools
Telegram automation project for coordinating workflow tasks in the currently available 2026 build, with a compact HTML-oriented source structure, configurable settings, startup guidance, and an outlined update process.
- ⭐ Stars: 52
- 💻 Language: HTML
- 🏷️ Topics: 无
5. danielmillersr2593/3d-print-tools-editor
Client-side browser toolkit for viewing, editing, inspecting, and preparing common 3D-printing files, with support generation and toolpath visualization. Use the hosted version or serve a local checkout.
- ⭐ Stars: 51
- 💻 Language: HTML
- 🏷️ Topics: 无
6. ryanphqross9118/seliware-executor-script-update
Free Windows utility for running Lua scripts in Roblox with one-click injection, a 500+ script hub, saved execution queues, automatic updates, multilingual UI, and no key required. Supports Windows 10/11 64-bit.
- ⭐ Stars: 47
- 💻 Language: HTML
- 🏷️ Topics: 无
7. noah-scottqkh6962/addon-ez-bedrock-loader
Browser-based utility for discovering, preparing, and installing Bedrock sandbox-game add-ons through a simple web workflow, with an online version, local serving support, deployment guidance, update paths, and troubleshooting resources.
- ⭐ Stars: 44
- 💻 Language: HTML
- 🏷️ Topics: 无
8. lij768423-svg/grok2api-egress-enhancements
Unofficial grok2api egress recovery and quality-guard patch kit
- ⭐ Stars: 42
- 💻 Language: Unknown
- 🏷️ Topics:
ai-gatewaycircuit-breakergrok2apipatchproxy
9. cooperchrispeo7238/delta-windows-script-executor
Windows 10/11 desktop tool for running Lua scripts in Roblox, browsing a 500+ script hub, and using a compact interface. Free, 64-bit, and no key required for the 2026 workflow.
- ⭐ Stars: 40
- 💻 Language: HTML
- 🏷️ Topics: 无
10. dylanreedtgqd6652/roblox-executor-script-hub
Free Roblox script executor for Windows 10/11 64-bit, built for fast Lua and Luau execution, simple setup, no key required, low resource usage, and compatibility support through 2026.
- ⭐ Stars: 40
- 💻 Language: HTML
- 🏷️ Topics: 无
11. hughesdylanbfz4294/ronix-script-hub-update
A compact Windows utility for running Lua scripts in Roblox, with one-click injection, a 500+ community script hub, batch queues, debugging tools, low resource use, and no key requirement for Windows 10 and 11 in 2026.
- ⭐ Stars: 40
- 💻 Language: HTML
- 🏷️ Topics: 无
12. will-woodvyzr9966/azhai-seo-utility-hub
Azhai is a browser-based toolkit with 31+ free AI, text, and SEO utilities for word counting, JSON cleanup, metadata generation, keyword evaluation, and related content workflows.
- ⭐ Stars: 40
- 💻 Language: HTML
- 🏷️ Topics: 无
13. jordan-greencz5073/agroclick-farmer-hub
AgroClick is a responsive agricultural marketplace connecting sellers with customers through distance-based shop discovery, English and Tamil localization, online ordering, and Razorpay payment support.
- ⭐ Stars: 39
- 💻 Language: HTML
- 🏷️ Topics: 无
14. evangrayfu9443/airwiggles-project-hub
Airwiggles is a browser-based project management tool for planning projects, organizing tasks, and keeping teams aligned, with a structured workspace for everyday project coordination in 2026.
- ⭐ Stars: 39
- 💻 Language: HTML
- 🏷️ Topics: 无
15. oliverbennettqrzi1259/acuity-enterprise-scheduler
Acuity Scheduling Enterprise Toolkit v2026.1.0 is a scheduling workflow utility for Windows, macOS, and Linux with profile-driven configuration, license verification support, and API connectivity.
- ⭐ Stars: 39
- 💻 Language: HTML
- 🏷️ Topics: 无
📊 统计
- 收录项目数: 20
- 时间范围: 每日
- 排序依据: 新增 Star 数
本文由 GoodInfo GitHub Trending 自动生成，每小时更新。