Alternatives and similar repositories for overcode

Users that are interested in overcode are comparing it to the libraries listed below

• calebegg / proof-pad

  View on GitHub
  A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
  ☆11Jul 15, 2024Updated last year
• suiyuebaobao / go-proxy-pro

  View on GitHub
  go-proxy中转
  ☆85Dec 31, 2025Updated last month
• YepSfx / FFPlay-1.2.12

  View on GitHub
  ffplay 1.2.12 wrapper library and examples
  ☆10Jan 20, 2026Updated 3 weeks ago
• aa24615 / websocket-pressure-test

  View on GitHub
  nodejs版的websocket压力测试工具
  ☆13Oct 18, 2021Updated 4 years ago
• zhaiiker / Tavern-Register

  View on GitHub
  在不修改 SillyTavern 核心代码的前提下为其创建用户账号。
  ☆23Jan 8, 2026Updated last month
• rm-NoobInCoding / UniversalSigBypasser

  View on GitHub
  A universal signature check bypasser for Unreal Engine-based games to enable modding
  ☆30Dec 11, 2025Updated 2 months ago
• Felix-fz / ZoteroNotesTemplate

  View on GitHub
  some setting files abnout Zotero
  ☆10May 29, 2023Updated 2 years ago
• zouyonghe / astrbot_plugin_qna

  View on GitHub
  用于astrbot，自动识别群聊提问并作答的插件。
  ☆13Dec 7, 2025Updated 2 months ago
• CocoSgt / Giga-Peach

  View on GitHub
  Best Suite for Nano Banana
  ☆28Dec 1, 2025Updated 2 months ago
• GregTechCEu / gregtech-skyblock-edition

  View on GitHub
  GregTech Skyblock Edition
  ☆11Aug 15, 2022Updated 3 years ago
• MuiseDestiny / zotero-better-notes

  View on GitHub
  Everything about note management. All in Zotero.
  ☆11Jul 26, 2023Updated 2 years ago
• LemonNekoGH / SourceCodeToPDF

  View on GitHub
  软著登记必备工具
  ☆12Apr 13, 2021Updated 4 years ago
• lanjianchun / vscode-plugins-download

  View on GitHub
  ☆23Jun 22, 2025Updated 7 months ago
• padra1386 / Premium-Bot

  View on GitHub
  A telegram bot that helps you sell telegram premium subscriptions
  ☆13Oct 17, 2024Updated last year
• kripken / demo-bananabread

  View on GitHub
  BananaBread demo
  ☆12Mar 11, 2016Updated 9 years ago
• PKU-GeekGame / gs-frontend

  View on GitHub
  Project Guiding Star: The Frontend
  ☆15Nov 2, 2025Updated 3 months ago
• elvin-tajirzada / telegobot

  View on GitHub
  Send messages and photos to telegram channel via bot
  ☆11Oct 26, 2023Updated 2 years ago
• kingsword09 / droid-patch

  View on GitHub
  CLI tool to patch the droid binary with various modifications.
  ☆29Jan 27, 2026Updated 2 weeks ago
• SeptemberHX / Chameleon-patched

  View on GitHub
  Show windows menu on titlebar on DeepinV20
  ☆10Jan 26, 2022Updated 4 years ago
• Learning4Optimization-HUST / Pointerformer

  View on GitHub
  ☆11Nov 29, 2022Updated 3 years ago
• DragonKnightOfBreeze / Breeze-Framework

  View on GitHub
  基于Kotlin的整合代码框架，为标准库和其他框架提供各种有用的扩展。Integrated code framework based on Kotlin, provides many useful extensions for standard library and so…
  ☆11Jan 10, 2024Updated 2 years ago
• seng-wei / Hackintosh-Intel-i7-10700K-Gigabyte-Z490-UD

  View on GitHub
  OpenCore - Hackintosh Intel i7-10700K Gigabyte Z490 UD (With IGPU using HDMI Port)
  ☆10Sep 6, 2020Updated 5 years ago
• calebegg / proof-pad-classic

  View on GitHub
  An IDE for ACL2
  ☆21Aug 24, 2020Updated 5 years ago
• jiffyreader / jiffyreader-plugin

  View on GitHub
  A Browser Extension for faster reading on ANY website!
  ☆25Jul 24, 2025Updated 6 months ago
• zaoying / EChartsTaglib

  View on GitHub
  结合EChartsAnnotation实践的数据可视化项目
  ☆10Mar 14, 2016Updated 9 years ago
• YangQing-Lin / GoldMiner-LiveServer

  View on GitHub
  黄金矿工-用LiveServer运行
  ☆12Jun 12, 2022Updated 3 years ago
• kikixiong / SCNU-ABD-Thesis-template

  View on GitHub
  Aberdeen Institute Thesis template
  ☆15Apr 17, 2025Updated 9 months ago
• 302ai / 302-AI-Studio_down

  View on GitHub
  302 AI Studio is a desktop client that supports multiple large language model (LLM) service providers, compatible with Windows, Mac and L…
  ☆18Oct 27, 2025Updated 3 months ago
• anurnomeru / Eventual-Consistency-Example

  View on GitHub
  可靠消息最终一致性在spring cloud下的实现Demo
  ☆10Aug 7, 2018Updated 7 years ago
• tss12 / movieComments

  View on GitHub
  猫眼电影评论爬虫，给出猫眼电影id即可。
  ☆13Dec 19, 2019Updated 6 years ago
• ti-dh / ti-dh-golang

  View on GitHub
  Go实现的DH算法，用于服务端
  ☆11Jul 31, 2019Updated 6 years ago
• 94mashiro / packy-usage-vsce

  View on GitHub
  ☆27Aug 15, 2025Updated 5 months ago
• farazshuja / chrome-extension-vite-vue-starter-template

  View on GitHub
  ☆16Sep 26, 2022Updated 3 years ago
• MiniMax-OpenPlatform / minimax_dubbing

  View on GitHub
  MiniMax AI配音工具 - 智能视频翻译与AI配音系统
  ☆25Nov 15, 2025Updated 2 months ago
• wquguru / exoshell

  View on GitHub
  A curated collection of Claude plugins and AI-assisted development skills inspired by Moltbot's atomic commit methodology🦞🐚
  ☆36Jan 29, 2026Updated 2 weeks ago
• Haleclipse / codex

  View on GitHub
  Lightweight coding agent that runs in your terminal
  ☆147Feb 5, 2026Updated last week
• spiritLHLS / addzram

  View on GitHub
  为linux服务器启用zram设备压缩内存 Enable zram device to compress memory for linux servers
  ☆24Apr 25, 2025Updated 9 months ago
• liu-chun-wu / NoteGenius

  View on GitHub
  ☆13Jun 25, 2025Updated 7 months ago
• zstar1003 / SoraCleaner

  View on GitHub
  A watermark removal tool specifically designed for Sora2. 一个用于Sora2去水印的工具
  ☆38Oct 7, 2025Updated 4 months ago