An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- language
- tlaplus
- quint
- apalache
Repository Index
68,760 visible repositories in the index
313–336 of 527 · Most stars
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
Unobtrusive logging library with zero dependencies for Deno, Node.js, Bun, browsers, and edge functions
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
Supercharged experience for multiple models such as ChatGPT, DALL-E and Stable Diffusion.
- chatgpt
- dall-e
- stable-diffusion
- openai
🗺️ Minimalist POI Map Tracker and Trip Planner. Self-hosted.
- map
- map-visualization
- points-of-interest
- selfhosted
A markup-driven CSS orchestration language for developers and AI agents.
A community discussion platform: Brings together the main features from StackOverflow, Slack, Discourse, Reddit, and Disqus blog comments.
- forum
- questions-and-answers
- chat
- blog-comments
UI5 Web Components - the enterprise-flavored sugar on top of native APIs! Build SAP Fiori user interfaces with the technology of your choice.
- open-source
- ui5
- ui5-webcomponents
- web-component
Typescript focused FP library similar to Remeda and Ramda
- fp
- ramda
- lodash
- utils
Powerful Analytics Solution. Setup in 30 seconds. Display all your data on a Simple, AI-powered dashboard. Fully self-hostable and GDPR compliant. Alternative to Google Analytics, MixPanel, Plausible, Umami & Matomo.
Javascript library to help creating high quality justified galleries of images. Used by thousands of websites as well as the photography community 500px.
- gallery
- justification
- thumbnails
- masonry
⚡ The future of programmable SIP servers.
- sip
- webrtc
- voip
- instant-messaging
🐆 An immutable list with unmatched performance and a comprehensive functional API.
- functional-programming
- data-structures
- immutable
- ramda
✍️ Architecture Decision Records (ADR) management and publication tool
- architecture-decision-records
- architecture
- knowledge-base
- documentation
Functional programming library for TypeScript - https://gigobyte.github.io/purify/
- typescript
- algebraic-data-types
- maybe
- monad
Display giant ASCII-art logos with colorful gradients in your terminal — like Claude Code or Gemini CLI.
- ascii
- ascii-art
- cli
- logo
WebGL-based viewer for volumetric data
Open source monitoring and visualization UI for the TICK stack
- telegraf
- visualization
- chronograf
- dashboard
Apollo Client browser developer tools.
GPU-powered 3D HTML. ✨🧊 <lume-box size="1 2 3">
- javascript
- graphics
- graphics-engine
- graphics-programming
A Code Playground That Just Works!
- javascript
- typescript
- playground
- monaco-editor
A fully-featured, production ready caching GraphQL client for Angular and every GraphQL server 🎁