A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
87,573 visible repositories in the index
433–456 of 553 · Most stars
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
An easier way to use AI on your own computer. A free, open-source alternative to Claude and ChatGPT that runs open-weight models like Gemma and gpt-oss locally on Mac, Windows and Linux. Private, and works offline.
- ai-agent
- ai-assistant
- chatgpt-alternative
- claude-alternative
Mindmapping made simple: Host and create your own mindmaps. Share your mindmap sessions with your team and collaborate on mindmaps.
- javascript
- nestjs
- mindmapping
- mindmap
A modular Deno library for PostgreSQL, MySQL, MariaDB and SQLite migrations
- deno
- postgres
- postgresql
- denoland
Continuous Regression Testing for Engineering Teams
- open-source
- regression-testing
- developer-tools
- performance-testing
DeepSeek Harness (DSH) plugin: a live iOS Simulator — and a USB-connected iPhone — inside the conversation. 22 agent tools for booting, building, driving the UI by accessibility identity, OCR text or list rows, plus a streaming sidebar panel you can tap and drag on.
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
NeoRead: a local-first EPUB/PDF reader with annotations, side-by-side translation, and AI assistance through Claude Code, Codex CLI, and Kimi CLI.
❤️ A heart-shaped toggle switch component for React.
- react
- component
- react-component
- toggle
A framework for building decision-model harnesses for any kind of task. Your program offers the model a short list of next steps, and the model picks one at a time until it can answer.
- classifiers
- decision-models
- evals
- llm-harness
Cross-browser screenshot testing tool for Storybook with fancy UI Runner.
Detect if a device is mouseOnly, touchOnly, or hybrid, and if the primary input is mouse or touch.
- touch-events
- pointer-events
- passive-events
- device-responsive-ux
Compile-time i18n toolkit that requires zero code changes and produces the smallest possible bundles. Supports React, Svelte, SolidJS, Astro, and more
Your team of AI agents, on your Mac, Windows or Linux. Agents that talk in channels, write code, review each other and use your tools, on the Claude Code, Codex, OpenCode or Pi you already have. Anything that touches the real world waits for your yes.
- agent-team
- ai-agents
- claude-code
- codex
A monorepo containing the packages for Esri's Calcite Design System
- typescript
- design-system
- ui
- stenciljs
Feature-rich proxy wrapper for browser storage with serialization, reactivity, expiration, and one-time values. Works with localStorage, sessionStorage, and async storages like localForage.
- broadcastchannel
- browser-storage
- cache
- expiration
Quick and simple image processing at the command line. :hammer:
- image-processing
- resizer
- crop
- convert
Imgcompress is a self-hosted image processing toolbox that handles compression, format conversion, and AI background removal in a single web interface. It supports over 70 input formats (including PSD, HEIC, and RAW) and can output common formats or generate PDFs, all without sending files to external services.
- imagecompression
- imageoptimizer
- self-hosted
- webtool
Simple promise-based session middleware for Next.js, micro, Express, and more
- javascript
- middleware
- session
- promise
A CLI to assist Coding Agents in doing translations
- translations
- localization
- semi-automated-translations
- internationalization
DeepSeek Harness plugin for Android — build, run, and interact with a live emulator or USB device stream inside a conversation, driven entirely through adb.
gugu connects your agents and your people: sharing context, handing off work, thinking together.
Material 3 Expressive Web Components
- lit
- material-3-expressive
- material-design
- material-you