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
649–672 of 885 · Most stars
📗 Just a databaseless markdown flat-file wiki
In-page HTTP controller for frontend development. Intercept, modify, and simulate API responses directly in the browser.
Mindmapping made simple: Host and create your own mindmaps. Share your mindmap sessions with your team and collaborate on mindmaps.
- javascript
- nestjs
- mindmapping
- mindmap
Type-safe AWS infrastructure.
- aws-cdk
- infrastructure-as-code
- typescript
- javascript
A upgrade from 🔥webpack-chrome-extension-reloader🔥, now on all browsers
- webpack
- hot-reloading
- extensions
- browser-extension
Digital image organizer powered by the web
- electron
- javascript
- desktop-application
- photo
This extension transforms the Gemini CLI into "Pickle Rick," a hyper-intelligent, arrogant, yet extremely competent engineering persona. It enforces a rigid, iterative software development lifecycle through continuous AI agent loops. Emphasizing "God Mode" coding practices and a disdain for
- ai
- gemini
- gemini-cli
- gemini-cli-extensions
🔥 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
❤️ A heart-shaped toggle switch component for React.
- react
- component
- react-component
- toggle
Realtime GraphQL Live Queries with JavaScript
- graphql
- socket
- socket-io
- relay-modern
Xiryn — the open-source personal agent. Does everything Muse, Grok Bot and Dots do, on your own computer: each agent gets its own Linux desktop in Docker, any model with your keys, an encrypted vault, and control from Telegram.
RedGPU - JavaScript WebGPU Library
GraphQL query utility for serverside apps
- graphql-query
- graphql-endpoint
- graphql
- got
compact, modular JavaScript wrappers for the ArcGIS REST API
- data-management
- javascript
- rest-api
- esri
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 desktop GUI for running dozens of Claude Code and Codex agents in parallel, each in its own git worktree. Answer them like email, or use the board view. Free, open source, on the plan you already pay for.
- agent-orchestration
- ai-agents
- claude
- claude-code
Functional programming, immutable collections and FP constructs for typescript and javascript
- typescript
- functional-programming
- immutable-collections
- javascript
HashMap JavaScript class for Node.js and the browser. The keys can be anything and won't be stringified
Connect to MongoDB and Atlas and directly from your VS Code environment, navigate your databases and collections, inspect your schema and use playgrounds to prototype queries and aggregations.
- mongodb
- mongodb-atlas
- vscode
- vscode-extension
Hearth: a fast, calm home screen for LG WebOS TVs
- homebrew
- launcher
- lg-tv
- rooted
Simple promise-based session middleware for Next.js, micro, Express, and more
- javascript
- middleware
- session
- promise
🦩 Joi like validations for TypeScript
- validation
- typescript
- runtime
- strongly-typed
A web-based, lighter version of Gephi