A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
Repository Index
47,133 repositories indexed
289–312 of 488 · Most stars
Are you an early 🐤 or a night 🦉? Let's check out in gist
- pinned-gist
- awesome-pinned-gists
Watching what's up with your CDK apps since 2019
Minimalist fitness app to plan your workouts, track your personal records and leverage smartwatch data
- fitness
- fitness-app
- selfhosted
- workout
Mindmapping made simple: Host and create your own mindmaps. Share your mindmap sessions with your team and collaborate on mindmaps.
- javascript
- nestjs
- mindmapping
- mindmap
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.
Self-hosted, open-source inventory of everything you own and where it is. AI assistant and MCP server built in.
- home-inventory
- mcp
- react
- self-hosted
Is-Vegan helps you to find out which food ingredients are vegan / non-vegan
- vegan
- food
- ingredients
- npm
Private, unlimited background removal that runs in your browser.
Schemix allows you to programmatically create Prisma schemas using TypeScript ⌨️
Turn any codebase into a knowledge graph grounded in formal methods. Your AI agents get exact answers for any code-related task, ensure correctness, and optimize time and token usage.
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
The Material 3 design system in Svelte, cleanly, robustly, and across disciplines.
- material
- material-3
- svelte
- material-you
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
UI for AI agents. React components for what agents do – agent trees, tool calls, traces, handoffs and approvals – and for the rest of your app. One file each, install with shadcn or via MCP. Free and open source.
- animation
- components
- nextjs
- react
Desktop app for designing parametric 3D models in CadQuery together with the coding agent of your choice
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
100% free, open-source personal agents for your messaging apps, tools, and services
Your AI crew for web development
A framework for building decision-model harnesses for any kind of task. Your program offers the model a short list of next steps, and the model picks one at a time until it can answer.
- classifiers
- decision-models
- evals
- llm-harness
Stretchtext replies for Claude Code: short by default, each phrase grows in place when you click it
Agentic browser control driven by your own Claude / Cursor subscriptions
- ai-agent
- browser-automation
- cdp
- chrome-extension
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.