A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
47,133 repositories indexed
121–144 of 184 · Most stars
In-page HTTP controller for frontend development. Intercept, modify, and simulate API responses directly in the browser.
A upgrade from 🔥webpack-chrome-extension-reloader🔥, now on all browsers
- webpack
- hot-reloading
- extensions
- browser-extension
Private, unlimited background removal that runs in your browser.
Drive Google Flow from Claude, Codex or a local control panel, on Mac or Windows — using your Google AI subscription credits instead of the pay-per-use video API. No browser extension.
💧EventEmitter's typesafe replacement
- eventemitter
- nodejs
- browser
- async-await
Patch fetch/XMLHttpRequest to fake a REST API server in the browser, based on JSON data.
Agentic browser control driven by your own Claude / Cursor subscriptions
- ai-agent
- browser-automation
- cdp
- chrome-extension
Cross-browser screenshot testing tool for Storybook with fancy UI Runner.
Open source browser extension starter kit 🧩
- ai
- boilerplate
- browser-extension
- extension
AI teammates that each get their own computer and browser. Built entirely on Cloudflare.
- cloudflare
- durable-objects
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
HashMap JavaScript class for Node.js and the browser. The keys can be anything and won't be stringified
JSON Schema validator written in JavaScript for NodeJS and Browsers
:musical_score: ts-audio is an agnostic library that makes it easy to work with AudioContext and create audio playlists in the browser
- audio
- typescript
- audiocontext-api
- song
Cross-browser web performance testing agent
The Browser / Node.js Client for deepstream.io
The official JavaScript SDK for Algorand.
- algorand
- javascript
- typescript
- sdk
Remote control for your pi coding agent. Pi-Remote mirrors live pi terminal sessions to any browser, so you can watch runs, answer prompts, and send commands from your phone — end-to-end encrypted over a self-hosted relay.
- developer-tools
- pi
- pi-coding-agent
- react
Describe the task, find the tool you saved. A browser side-panel extension that sorts your bookmarks without an API key and keeps private links on your device.
A multi-threaded, renderer-independent voxel engine in TypeScript. Build Minecraft-style voxel worlds and games that run in the browser.
Animated, steppable code explainers. Zero-dependency TypeScript, SVG output, browser and Cloudflare Workers.
Standalone puppeteer playground in browser's developer tools.
- puppeteer
- automation
- ide
- chrome-extension
Create and verify JSON Web Tokens (JWT) with Deno or the browser.
- deno
- jwt
- jsonwebtoken
- authentication