A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
47,133 repositories indexed
97–120 of 167 · Most stars
Catch risky npm dependency changes before they merge.
- dependency-analysis
- devsecops
- github-actions
- malware
In-page HTTP controller for frontend development. Intercept, modify, and simulate API responses directly in the browser.
NPMscan MCP Plugin
Web/desktop UI for Gemini CLI/Qwen Code. Manage projects, switch between tools, search across past conversations, and manage MCP servers, all from one multilingual interface, locally or remotely.
Is-Vegan helps you to find out which food ingredients are vegan / non-vegan
- vegan
- food
- ingredients
- npm
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
Your AI crew for web development
💸 Lightweight currency conversion library, successor of money.js
- cashify
- money
- moneyjs
- cash
compact, modular JavaScript wrappers for the ArcGIS REST API
- data-management
- javascript
- rest-api
- esri
HashMap JavaScript class for Node.js and the browser. The keys can be anything and won't be stringified
The all in one suite alternative to paid apps : Notes, Finance handling, Projects, Tasks, Agenda, Files storage, etc...
- apps
- full-stack
- fullstack-development
- suite
Zero config import from npm packages
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
🦥 A lazy functional iteration library supporting sync, async, and concurrent iteration.
- async
- sync
- concurrent
- functional-programming
njt (npm jump to): a quick navigation tool for npm packages
- npm
- productivity
- shortcuts
- jump
Powerful CSV & Excel Import experience for SaaS 🚀 Save months building data import experience from scratch 💰
- csv-import
- data-import
- data-mapping
- data-review
CLI to build and publish Godot games to the App Store and Google Play - no Xcode or Android Studio required.
Software development kit for JavaScript developers building web applications with Sitecore Experience Platform
A filesystem-like contents manager for multiple backends in Jupyter
Hisaab — source-backed public development evidence atlas
- open-source
Tiny and easy to use ECS (Entity Component System) library for game programming
- ecs
- ecs-framework
- game
- game-engine
AI agent harness for Apps in Toss mini-app development — agent plugin, skills, and dev packages (pnpm monorepo)
⚡ Blazing fast, modern, Game Engine powered by WebGPU for Deno and the browser
- deno
- game-engine
- gpu
- typescript