A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
61,275 visible repositories in the index
769–792 of 1,114 · Most stars
Your AI crew for web development
100% free, open-source personal agents for your messaging apps, tools, and services
TranslatedA macOS manager for Codex, Claude Code CLI and Claude Desktop instances, accounts, provider keys, isolated configs, sessions and proxies.
- agent-manager
- claude-code
- claude-desktop
- codex
TranslatedAn editing workbench for adding a motion graphics layer to talking-head videos: AI reads your subtitle script and arranges everything automatically, you can edit every element it makes yourself, and you export a transparent motion graphics layer straight into 剪映 (Jianying, CapCut's Chinese edition)—not a single frame of the original footage is recompressed.
not only a JSON viewer
- data-editor
- data-viewer
- json-editor
- json-viewer
An open-source 2D battle royale game inspired by surviv.io. Work in progress.
A blazingly fast programmatic video engine, made for agents.
Tools & library for driving the AxiDraw pen plotter
- plotter
- axidraw
- serial
TranslatedConnect all the model quotas you can get for free into the same DSH pool: automatic multi-account fault tolerance for WorkBuddy, QR-code login for 13 providers, aggregation of free quotas from 76 providers, a usage dashboard, model routing, a local OpenAI gateway, and automated points collection.
- codebuddy
- dsh-plugin
- failover
- model-provider
TranslatedSource code of the Richman 4 (大富翁4, "Rich Man 4") remastered app (Vite + TypeScript + Capacitor iOS)
Visualize Python code execution (line-by-line) in Jupyter Notebook cells.
- jupyter
- jupyter-notebook
- learning
- python
Claude Code mods: plugins built on hooks that add live lines above the prompt, guards, panes and games. Context bar, usage meter, Codex review watch, Markdown preview, Spotify now playing and more.
- ai-agents
- claude-code
- claude-code-mods
- anthropic
A tool-use-focused LLM plugin for neovim.
A lightweight(qing) and fast(kuai) front end framework, it will make you development work easier(qingkuai)
- framework
- frontend
- reactivity
- typescript
A CLI tool for synchronizing the schema and configuration of Directus across various environments.
Cornelius, le cadre/miroir intelligent : il vous reconnaît, vous écoute et répond en français. Assistant vocal, reconnaissance faciale en local, Home Assistant, météo, transports et beaucoup plus !
- ai-assitant
- computer-vision
- esp32
- face-recognition
A set of standalone tools to SpeedRun WebApps!
🔥 A fully open source audit logs service and embeddable UI easily deployed to your own Kubernetes cluster. Brought to you by replicated.com and boxyhq.com 🚀
- enterprise-software
- kubernetes
- audit-logs
- enterprise-ready
Booster Framework
- serverless
- cloud-native
- booster-framework
- typescript
Node-RED Contribution - HomeKit Bridged : Node-RED nodes to simulate Apple HomeKit devices.
- node-red-contrib
- homekit
- homekit-bridge
- iot
Stretchtext replies for Claude Code: short by default, each phrase grows in place when you click it
Open-source template for "one photo → AI video that follows a viral template" SaaS sites, one site per trending keyword. Cloudflare Workers + D1/R2/KV/Queues, TanStack Start + Hono, Google sign-in, credit packs (Waffo/Dodo), fal.ai video generation, admin console.
- ai-video
- cloudflare-d1
- cloudflare-r2
- cloudflare-workers
Cross-browser screenshot testing tool for Storybook with fancy UI Runner.