An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- language
- tlaplus
- quint
- apalache
Repository Index
61,772 visible repositories in the index
2,497–2,520 of 4,672 · Most stars
Agnes Harness: A pluggable agent harness for Forward Deployed Engineering (FDE). Built for trust. Made for the real world.
Generate custom HTTP responses, the simpler way to test your Web Services
- scala
- mocky
- javascript
- mock
A set of retro-designed, accessible components and a code distribution platform. Open Source. Open Code.
- 8-bit
- components
- retro
- shadcn
Model fingerprint detection with a shared Web and Bun CLI reference bank
Nimbalyst - The open-source visual workspace for Claude Code, Codex, and OpenCode. Run multiple coding agents in parallel, edit their work visually in markdown, mockups, and diagrams, and track tasks. Free, MIT-licensed desktop app for macOS, Windows, Linux, with mobile companion for iOS and Android.
- ide
- wysiwyg-editor
- agentic-ai
- ai-agents
A free Chromium browser for the Mac: Arc's sidebar, Dia's polish. Chat on Discord: discord.gg/TdhuXrbcA6
A design system for AI applications. Material, physical, tactile, technical.
TranslatedChrome extension to view ChatGPT summaries alongside Google search results and YouTube videos, also supports Yahoo! ニュース (Yahoo! News), PubMed, PMC, NewsPicks, Github, Nikkei, Bing, Google Patents, and any page summary.
- chatgpt
- chrome-extension
- google-chatgpt
An Open Source template for a proactive AI agent that gets your work done and keeps you in the loop.
Ovis (formerly herdr web UI): free, open-source browser and phone client for herdr. Chat and live terminal for Claude Code, Codex and every agent pane, remote PCs over SSH, web push alerts
Lightweight but powerful alternative for managing your personal, file based, notes and checklists.
Unobtrusive logging library with zero dependencies for Deno, Node.js, Bun, browsers, and edge functions
Build a system, load it until it breaks, and watch why. A system design simulator for learning distributed systems.
📟 Command line tool for common GraphQL development workflows
OpenSheetMusicDisplay renders sheet music in MusicXML format in browsers and headless with NodeJS. Based on VexFlow, OSMD is brought to you by PhonicScore.com.
- music
- musicxml
- mxl
- sheetmusic
A pre-execution guard for AI coding agents. It blocks destructive Git and file system commands, plus common attempts to access sensitive files, before a tool call runs. Supports Amp Code, Antigravity CLI, Claude Code, Codex, Cursor, DeepSeek Harness, Devin CLI, GitHub Copilot CLI, Grok Build, Hermes Agent, Kimi Code, OpenClaw, OpenCode, and Pi.
Automatic font fallback based on font metrics
- cls
- fonts
- web-vitals
- hacktoberfest
A better commenting experience from Vox Media
The open-source alternative to Paper.design. A multiplayer design canvas where humans and AI agents design together, live. MCP built in.
- ai-agents
- claude-code
- claude-design
- design
Self-hosted personal gallery application with online photo management and albums, supporting Live/Motion Photos, EXIF parsing, geolocation recognition, and an explore map.
- geocoding
- photo-gallery
- live-photo
- exif-extraction
Support for OAuth 2 and OpenId Connect (OIDC) in Angular.
Self-hosted iOS & Android simulator streaming for the whole team
- appetize-alternative
- android
- ios
- react-native
GraphQL client and GraphQL code generator with GraphQL autocomplete library generation ⚡⚡⚡ for browser,nodejs and react native ( apollo compatible )