An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- language
- tlaplus
- quint
- apalache
Repository Index
81,588 visible repositories in the index
1,273–1,296 of 2,349 · Most stars
Framework-neutral chat web component and typed Vue 3 component library
- chat
- vue
- firestore
- groups
glTF 2.0 SDK for JavaScript and TypeScript, on Web and Node.js.
- 3d
- gltf
- glb
- scene-graph
Voice activity detector (VAD) for the browser with a simple API
- onnxruntime
- silero-vad
- speech-to-text
- typescript
A set of retro-designed, accessible components and a code distribution platform. Open Source. Open Code.
- 8-bit
- components
- retro
- shadcn
A collection of rare, ready-to-use UI components and animations you can actually drop into your next project. Free and open source.
:tiger: Micro Frontends solution for large application（面向大型应用的微前端解决方案），站点国内镜像：https://icestark.gitee.io
- microfrontends
- frontend
- micro-frontends-solution
- micro-frontends
A design system for AI applications. Material, physical, tactile, technical.
superglue's AI agents connect, migrate and implement enterprise systems. Cloud-hosted or on your own infrastructure.
PageLM is a community driven version of NotebookLM & a education platform that transforms study materials into interactive resources like quizzes, flashcards, notes, and podcasts.
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
Chromecast Web Sender SDK implementation for Firefox
- firefox
- webextension
- chromecast
- firefox-addon
Build a system, load it until it breaks, and watch why. A system design simulator for learning distributed systems.
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.
Unobtrusive logging library with zero dependencies for Deno, Node.js, Bun, browsers, and edge functions
A d3 heatmap for representing time series data similar to github's contribution chart
- heatmap
- d3
- javascript
- data-visualization
Translate your application with Languine CLI powered by AI.
Personal website for Cali Castle
- framer-motion
- nextjs
- react
- tailwindcss
Set up your GitHub Actions workflow with a specific version of Java
Modular TypeScript wallet adapters and components for Solana applications.
Companion application for your Counter-Strike demos.
- csgo
- counter-strike
- cs2
Efficient immutable updates, about 3-6x faster than Immer.
- immer
- immutability
- immutable
- reducer
Mezon is a new way to communicate with your team. It's faster, better organized, better for WFH.
- bot-framework
- chat
- chat-application
- communication
A simple React Native library, enabling the creation of fully customized header for your iOS and Android apps.
- open-source
- contribution
- stickyheader
- header