Github Feed ™

🚀 Featured GitHub Project 📦 stp ✦ Simple Theorem Prover, an efficient SMT solver for bitvectors, floating-point and arrays. ⭐ Stars: 588 • 🍴 Forks: 144 • 👀 Watchers: 28 🛠 Lang: C++ • 📜 License: Other 🐞 Issues: 33 👤 Author: stp 📅 Released: 27 August 2013 • 🕰 13 years old 🔄 Updated: 15 September 2026 • 🟢 Active Project 🏷 Tags: Cnf • Cryptography • Sat-Solver • Smt • Symbolic-Execution • +1 more 🔗 Explore Repository → https://github.com/stp/stp ▶️ Live Demo → https://stp.github.io/stp/ 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 oqs-provider ✦ OpenSSL 3 provider containing post-quantum algorithms ⭐ Stars: 499 • 🍴 Forks: 188 • 👀 Watchers: 30 🛠 Lang: C • 📜 License: MIT 🐞 Issues: 50 👤 Author: open-quantum-safe 📅 Released: 30 January 2021 • 🕰 5 years old 🔄 Updated: 16 September 2026 • 🟢 Active Project 🏷 Tags: Cryptography • Openssl • Post-Quantum • Provider 🔗 Explore Repository → https://github.com/open-quantum-safe/oqs-provider 🧭 Project Link → https://openquantumsafe.org 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 ChinaTextbook ✦ 所有小初高、大学PDF教材。 ⭐ Stars: 82K • 🍴 Forks: 18.6K • 👀 Watchers: 638 🛠 Lang: Roff • 📜 License: Not specified 🐞 Issues: 129 👤 Author: TapXWorld 📅 Released: 05 January 2020 • 🕰 6 years old 🔄 Updated: 18 October 2025 • 🟡 Moderate Project 🏷 Tags: Not specified 🔗 Explore Repository → https://github.com/TapXWorld/ChinaTextbook 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 Agent-Reach ✦ Give your AI agent eyes to see the entire internet. Read & search Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu — one CLI, zero API fees. ⭐ Stars: 82K • 🍴 Forks: 7.1K • 👀 Watchers: 293 🛠 Lang: Python • 📜 License: MIT 🐞 Issues: 138 👤 Author: Panniantong 📅 Released: 24 February 2026 • 🕰 Less than 1 year old 🔄 Updated: 15 September 2026 • 🟢 Active Project 🏷 Tags: Agent-Infrastructure • Ai-Agent • Ai-Search • Automation • Bilibili • +12 more 🔗 Explore Repository → https://github.com/Panniantong/Agent-Reach 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 FrontEndGitHub ✦ :octocat:GitHub最全的前端资源汇总仓库（包括前端学习、开发资源、数据结构与算法、开发工具、求职面试等） ⭐ Stars: 6.6K • 🍴 Forks: 975 • 👀 Watchers: 121 🛠 Lang: Not specified • 📜 License: MIT 🐞 Issues: 73 👤 Author: FrontEndGitHub 📅 Released: 25 October 2020 • 🕰 5 years old 🔄 Updated: 08 January 2025 • 🔴 Dormant Project 🏷 Tags: Frontend • Frontend-Map • Javascript • React • Vue 🔗 Explore Repository → https://github.com/FrontEndGitHub/FrontEndGitHub 🧭 Project Link → https://github.com/biaochenxuying 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 ReactShadow ✦ 🔰 Utilise Shadow DOM in React with all the benefits of style encapsulation. ⭐ Stars: 1.4K • 🍴 Forks: 82 • 👀 Watchers: 14 🛠 Lang: JavaScript • 📜 License: MIT 🐞 Issues: 40 👤 Author: Wildhoney 📅 Released: 12 February 2015 • 🕰 11 years old 🔄 Updated: 09 January 2025 • 🔴 Dormant Project 🏷 Tags: Components • Css • Css-Document • Css-Isolation • Custom-Elements • +12 more 🔗 Explore Repository → https://github.com/Wildhoney/ReactShadow 🧭 Project Link → https://react-shadow.herokuapp.com/ 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 wikiman ✦ Wikiman is a universal offline documentation search engine for manual pages, tldr-pages, ArchWiki, Gentoo Wiki, DevDocs, and FreeBSD documentation ⭐ Stars: 1K • 🍴 Forks: 26 • 👀 Watchers: 14 🛠 Lang: Shell • 📜 License: MIT 🐞 Issues: 3 👤 Author: filiparag 📅 Released: 22 August 2020 • 🕰 6 years old 🔄 Updated: 11 July 2026 • 🟢 Active Project 🏷 Tags: Arch-Wiki • Cli • Devdocs • Documentation • Freebsd • +8 more 🔗 Explore Repository → https://github.com/filiparag/wikiman 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 pisa ✦ PISA: Performant Indexes and Search for Academia ⭐ Stars: 1.1K • 🍴 Forks: 77 • 👀 Watchers: 22 🛠 Lang: C++ • 📜 License: Apache 2.0 🐞 Issues: 72 👤 Author: pisa-engine 📅 Released: 26 September 2018 • 🕰 7 years old 🔄 Updated: 13 September 2026 • 🟢 Active Project 🏷 Tags: Information-Retrieval • Inverted-Index • Search • Search-Engine 🔗 Explore Repository → https://github.com/pisa-engine/pisa ▶️ Live Demo → https://pisa-engine.github.io/pisa/book 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 FiraCode ✦ Free monospaced font with programming ligatures ⭐ Stars: 82K • 🍴 Forks: 3.2K • 👀 Watchers: 711 🛠 Lang: Clojure • 📜 License: OFL 1.1 🐞 Issues: 428 👤 Author: tonsky 📅 Released: 11 November 2014 • 🕰 11 years old 🔄 Updated: 28 July 2026 • 🟢 Active Project 🏷 Tags: Font • Ligatures • Programming-Ligatures 🔗 Explore Repository → https://github.com/tonsky/FiraCode 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 deer-flow ✦ An open-source long-horizon SuperAgent harness that researches, codes, and creates. With the help of sandboxes, memories, tools, skill, subagents and message gateway, it handles different levels of tasks that could take minutes to hours. ⭐ Stars: 82.4K • 🍴 Forks: 11.4K • 👀 Watchers: 346 🛠 Lang: Python • 📜 License: MIT 🐞 Issues: 886 👤 Author: bytedance 📅 Released: 07 May 2025 • 🕰 1 year old 🔄 Updated: 15 September 2026 • 🟢 Active Project 🏷 Tags: Agent • Agentic • Agentic-Framework • Agentic-Workflow • Ai • +13 more 🔗 Explore Repository → https://github.com/bytedance/deer-flow 🧭 Project Link → https://deerflow.tech 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 blockly ✦ The web-based visual programming editor. ⭐ Stars: 13.6K • 🍴 Forks: 3.9K • 👀 Watchers: 431 🛠 Lang: TypeScript • 📜 License: Apache 2.0 🐞 Issues: 419 👤 Author: RaspberryPiFoundation 📅 Released: 25 October 2013 • 🕰 12 years old 🔄 Updated: 14 September 2026 • 🟢 Active Project 🏷 Tags: Not specified 🔗 Explore Repository → https://github.com/RaspberryPiFoundation/blockly 🧭 Project Link → https://blockly.com 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 tubesync ✦ Syncs YouTube channels and playlists to a locally hosted media server ⭐ Stars: 2.8K • 🍴 Forks: 171 • 👀 Watchers: 15 🛠 Lang: Python • 📜 License: AGPL 3.0 🐞 Issues: 59 👤 Author: meeb 📅 Released: 22 November 2020 • 🕰 5 years old 🔄 Updated: 14 September 2026 • 🟢 Active Project 🏷 Tags: Media-Server • Plex • Pvr • Tubesync • Youtube • +1 more 🔗 Explore Repository → https://github.com/meeb/tubesync 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 Lihang ✦ Statistical learning methods, 统计学习方法(第2版)[李航] [笔记, 代码, notebook, 参考文献, Errata, lihang] ⭐ Stars: 6.3K • 🍴 Forks: 1.6K • 👀 Watchers: 154 🛠 Lang: Python • 📜 License: Not specified 🐞 Issues: 18 👤 Author: SmirkCao 📅 Released: 19 June 2018 • 🕰 8 years old 🔄 Updated: 05 August 2023 • 🔴 Dormant Project 🏷 Tags: Book • Lihang • Machine-Learning • Python • Statistical-Learning-Methods 🔗 Explore Repository → https://github.com/SmirkCao/Lihang 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 docs ✦ TensorFlow documentation ⭐ Stars: 6.3K • 🍴 Forks: 5.3K • 👀 Watchers: 216 🛠 Lang: Jupyter Notebook • 📜 License: Apache 2.0 🐞 Issues: 71 👤 Author: tensorflow 📅 Released: 12 April 2018 • 🕰 8 years old 🔄 Updated: 09 July 2026 • 🟢 Active Project 🏷 Tags: Deep-Learning • Deep-Neural-Networks • Documentation • Machine-Learning • Tensorflow • +2 more 🔗 Explore Repository → https://github.com/tensorflow/docs 🧭 Project Link → https://www.tensorflow.org 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 MISP ✦ MISP (core software) - Open Source Threat Intelligence and Sharing Platform ⭐ Stars: 6.5K • 🍴 Forks: 1.6K • 👀 Watchers: 282 🛠 Lang: PHP • 📜 License: AGPL 3.0 🐞 Issues: 2.9K 👤 Author: MISP 📅 Released: 07 February 2013 • 🕰 13 years old 🔄 Updated: 12 September 2026 • 🟢 Active Project 🏷 Tags: Cti • Cybersecurity • Fraud-Detection • Fraud-Management • Fraud-Prevention • +15 more 🔗 Explore Repository → https://github.com/MISP/MISP 🧭 Project Link → https://www.misp-project.org/ 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 cowrie ✦ Cowrie SSH/Telnet Honeypot https://docs.cowrie.org/ ⭐ Stars: 6.5K • 🍴 Forks: 1.1K • 👀 Watchers: 114 🛠 Lang: Python • 📜 License: Other 🐞 Issues: 92 👤 Author: cowrie 📅 Released: 12 May 2015 • 🕰 11 years old 🔄 Updated: 14 September 2026 • 🟢 Active Project 🏷 Tags: Attacker • Cowrie • Cowrie-Ssh • Deception • Decoy • +11 more 🔗 Explore Repository → https://github.com/cowrie/cowrie 🧭 Project Link → https://www.cowrie.org/ 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 DuckieTV ✦ A web application built with AngularJS to track your favorite tv-shows with semi-automagic torrent integration ⭐ Stars: 1.2K • 🍴 Forks: 271 • 👀 Watchers: 57 🛠 Lang: JavaScript • 📜 License: Other 🐞 Issues: 44 👤 Author: SchizoDuckie 📅 Released: 11 November 2012 • 🕰 13 years old 🔄 Updated: 05 September 2026 • 🟢 Active Project 🏷 Tags: Angular • Angularjs • Automation • Calendar • Chrome • +15 more 🔗 Explore Repository → https://github.com/SchizoDuckie/DuckieTV ▶️ Live Demo → http://schizoduckie.github.io/DuckieTV/ 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 DeepRec ✦ DeepRec is a high-performance recommendation deep learning framework based on TensorFlow. It is hosted in incubation in LF AI & Data Foundation. ⭐ Stars: 1.2K • 🍴 Forks: 359 • 👀 Watchers: 33 🛠 Lang: C++ • 📜 License: Apache 2.0 🐞 Issues: 95 👤 Author: DeepRec-AI 📅 Released: 24 December 2021 • 🕰 4 years old 🔄 Updated: 21 January 2025 • 🔴 Dormant Project 🏷 Tags: Advertising • Deep-Learning • Distributed-Training • Machine-Learning • Python • +3 more 🔗 Explore Repository → https://github.com/DeepRec-AI/DeepRec 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 localForage ✦ 💾 Offline storage, improved. Wraps IndexedDB, WebSQL, or localStorage using a simple but powerful API. ⭐ Stars: 25.8K • 🍴 Forks: 1.3K • 👀 Watchers: 305 🛠 Lang: JavaScript • 📜 License: Apache 2.0 🐞 Issues: 250 👤 Author: localForage 📅 Released: 31 October 2013 • 🕰 12 years old 🔄 Updated: 30 July 2024 • 🔴 Dormant Project 🏷 Tags: Indexeddb • Javascript • Localforage • Localstorage • Offline • +2 more 🔗 Explore Repository → https://github.com/localForage/localForage ▶️ Live Demo → https://localforage.github.io/localForage 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later

🚀 Featured GitHub Project 📦 ChromeAppHeroes ✦ 🌈谷粒-Chrome插件英雄榜, 为优秀的Chrome插件写一本中文说明书, 让Chrome插件英雄们造福人类~ ChromePluginHeroes, Write a Chinese manual for the excellent Chrome plugin, let the Chrome plugin heroes benefit the human~ 公众号「0加1」同步更新 ⭐ Stars: 25.8K • 🍴 Forks: 2.6K • 👀 Watchers: 627 🛠 Lang: JavaScript • 📜 License: GPL 3.0 🐞 Issues: 44 👤 Author: zhaoolee 📅 Released: 07 February 2019 • 🕰 7 years old 🔄 Updated: 11 May 2026 • 🟢 Active Project 🏷 Tags: Not specified 🔗 Explore Repository → https://github.com/zhaoolee/ChromeAppHeroes 🧭 Project Link → https://zhaoolee.com/ChromeAppHeroes/ 🔥 Discover powerful GitHub projects daily → @GithubFeedX ⚡ Stay ahead in tech — don't miss out 📤 Found this useful? Share it with your dev friends 💾 Save this for later