A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
56,638 visible repositories in the index
25–40 of 40 · Most stars
A CLI tool for synchronizing the schema and configuration of Directus across various environments.
Global HTTP/HTTPS proxy agent configurable using environment variables.
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
Ionic 2+ component providing a Twitter inspired experience to visualize pictures.
TypeDB Studio: An interactive visual environment for TypeDB
- knowledge-base
- visualisation
- graph-visualization
- network
The agentic pentesting environment that lives on your machine. AI agent teams, visual workflows and your own tools, 100% local.
- ai-agents
- bug-bounty
- electron
- offensive-security
Tiny Full-Stack React framework. Avoid Overengineering. Automatic routes, reload and component bundle. It uses its own RSC engine, combining SSR and CSR. 100% Deno, no Node dependencies. Fully compatible with Deno Deploy and Serverless Environments.
Database synchronizer for Magento 2 (and Wordpress), based on Magerun2. Keeping development, staging and production in sync easily.
Redspot is an Substrate pallet-contracts (ink!) development environment. Compile your contracts and run them on a different networks. Redspot's core forks from Hardhat but changed a lot to suit substrate.
A ChatGPT-based tool to decode Jupyter notebooks and the similar python notebook environments like Google Colab, etc.
Natural 🌿 effect system that fits TypeScript
- algebraic-effects
- computational-effects
- effect-system
- extensible-effects
Webextension Manifest Generator that you specify `manifest.json` properties to appear only in specific browsers and environment
- webextension
- manifest
- generator
- npm
Typed, validated config from process.env, .env files, or any object, on Node, Bun, Deno, Cloudflare Workers, and the browser. No runtime dependencies.
- config
- decorators
- dotenv
- env
The easiest way to add Sign-in with Ethereum to your app.
🔮 MAGUS Council: World's first? 4-AI consultation system (Gemini+Claude+GPT-5+Qwen) in VS Code - Revolutionary multi-agent development environment
- claude-code
- codex-cli
- gemini-cli
- gpt-5