Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
Repository Index
47,133 repositories indexed
4,993–5,016 of 11,235 · Most stars
Super fast progressive web app with small footprint & minimal dependancies
TranslatedA lightweight PC Dynamic Island that integrates QQ, WeChat, and email notifications, clipboard history, quick translation, a Codex status light, media controls, daily to-dos, and more.
Tools & library for driving the AxiDraw pen plotter
- plotter
- axidraw
- serial
NPMscan MCP Plugin
Schema-Inspector is a simple JavaScript object sanitization and validation module.
- javascript
- validation
- sanitization
- data-cleaning
JIT(Just In Time) plugin loader for Grunt.
TranslatedNew tab page for 蓝色大肥鱼 (Blue Fat Fish, "blue big fat fish"): a blue-background toy box + custom wallpapers/tags, purely local, works even offline. Now available on the Microsoft Edge Add-ons store.
- browser-extension
- chrome-extension
- edge-addons
- edge-extension
West Wind Album Viewer ASP.NET Core and Angular Sample
Syntax themes for the Godot Engine script editor
- godot
- godot-engine
- monokai
- solarized
TranslatedClaude Code Desktop theme for DeepSeek Harness｜ A theme plugin that recreates the style and interactive experience of Claude Code Desktop for DeepSeek Harness
- anthropic
- claude
- claude-code
- claude-desktop
Godot 4 template for game projects (GDScript), inspired by Maaack's Template.
- game
- game-template
- godot
- godot-engine
Translated富江DSH (Fujiang DSH) perfect armor-breaking | 富江破甲 (Fujiang Armor-Breaking) DSH local plugin with built-in prompt rules, supporting one-click installation on Windows, automatic environment preparation, and one-click uninstallation, with full Chinese usage instructions.
- custom-prompt
- dsh
- dsh-plugin
- windows
UI for AI agents. React components for what agents do – agent trees, tool calls, traces, handoffs and approvals – and for the rest of your app. One file each, install with shadcn or via MCP. Free and open source.
- animation
- components
- nextjs
- react
Get information of a Pokémon with GraphQL!
Simple Trigonometry Visualisation with Pure JavaScript.
- trigonometry
- trigonometry-visualisation
Strip ANSI escape codes from a string
The repository host gives no description.
- deepseek-harness
- dsh-plugin
- remote-access
Playground for Gulp Recipes
The unofficial HLTV Node.js API
MITM data analysis utility for Pokemon GO
A slide presentation framework in HTML, JS, and OOCSS
:gun: onfire.js is a nano version (~500b) for event-emitter.
- onfire
- event-dispatcher
- emitter
- event-emitter
A upgrade from 🔥webpack-chrome-extension-reloader🔥, now on all browsers
- webpack
- hot-reloading
- extensions
- browser-extension