Repository Index

A port of Coq to Javascript -- Run Coq in your Browser

• coq
• proof-assistant
• javascript
• integrated-development-environment

TranslatedOfficial plugin that connects QQ Bot to DeepSeek Harness (dsh)

• dsh
• dsh-plugin
• qqbot

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.

• desktop
• gemini
• gemini-api
• gemini-cli

A modular Deno library for PostgreSQL, MySQL, MariaDB and SQLite migrations

• deno
• postgres
• postgresql
• denoland

Minecraft launcher for Windows, macOS and Linux: Modrinth and CurseForge mods, Forge/Fabric/Quilt/NeoForge, automatic Java, skins, friends. Open source, Tauri 2 + React.

• launcher
• minecraft
• minecraft-launcher
• react

Import, validate, query, and export GTFS Schedule and Realtime data with SQLite, PostgreSQL, and MySQL.

• gtfs
• node-gtfs
• transit
• transit-data

Tool to export Juice Shop challenges and hints in data format compatible with CTFd, RootTheBox or FBCTF

• owasp
• ctf
• ctfd
• application-security

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

Your personal EQ coach. Build social skills and learn to handle conflict through realistic role-play and personalized feedback.

• ai-in-education
• communication-skills
• conflict-resolution
• llm

Patch fetch/XMLHttpRequest to fake a REST API server in the browser, based on JSON data.

• rest
• client
• frontend
• fetch

Desktop app for designing parametric 3D models in CadQuery together with the coding agent of your choice

• 3d-printing
• agent
• agentic-ai
• cad

A set of standalone tools to SpeedRun WebApps!

• graphql
• sveltekit
• svelte
• vite

Digital image organizer powered by the web

• electron
• javascript
• desktop-application
• photo

A webpack loader / babel-plugin / babel-plugin-macros / CLI / generated file manager of GraphQL code generator.

• typescript
• graphql
• webpack-loader
• graphql-codegen

🔥 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

Booster Framework

• serverless
• cloud-native
• booster-framework
• typescript

Realtime GraphQL Live Queries with JavaScript

• graphql
• socket
• socket-io
• relay-modern

Open Source Algorithmic Trading Engine

• algorithmic-trading
• quantitative-finance
• bots
• docker

Collection of decorators to create typed Next.js API routes, with easy request validation and transformation.

• nextjs
• typescript
• decorators
• api-decorators

SQL GUI for JupyterLab

• jupyterlab-extension
• jupyterlab
• sql
• database

🚀🌛 Use the Launch Platform 👩‍🚀👨‍🚀

• graphql
• webcomponents
• lit-element
• lit-html

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.

• ai-agents
• ai-sdk
• anthropic
• byok

Compile-time i18n toolkit that requires zero code changes and produces the smallest possible bundles. Supports React, Svelte, SolidJS, Astro, and more

• ai-translation
• ast
• gettext
• i18n

GraphQL query utility for serverside apps

• graphql-query
• graphql-endpoint
• graphql
• got