Rank 16quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
50–1,999 stars · gains since the previous 8-hour cycle · updated every 8 hours · Methodology
8h + shows stars gained since the previous cycle · ★ shows total stars
Cycle Nov 7, 16:00 KST · next scheduled Nov 8, 00:00 KST
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
uniTerm: a lightweight all-in-one terminal with a built-in AI Agent. 30+ protocols — SSH, Telnet, Mosh, RDP, VNC, SFTP, Serial, database, Kubernetes. | Lightweight all-in-one terminal software with a built-in AI Agent, supporting SSH, RDP, VNC, SFTP, database, K
AI translation
A community-built phone app for Clean Your TV: clean up an Android TV from your phone. No laptop, no coding agent, nothing uninstalled.
A free, open-source 1:1 alternative to Grok Bot and Muse. Message Claude Code, Codex, Cursor and 40+ coding agents as persistent bots from your iPhone, Mac or Linux desktop. Group chats, threads, appr
Status Trio is a native macOS menu bar application that integrates Wi-Fi, battery, and volume into a single compact, configurable menu bar icon. It allows for various custom appearance configurations.
AI translation
Automate with computer-use agent (ComputerUse / CUA) for macOS, Windows, Linux, Browser, iOS & Android. It sees the screen, clicks, types, browses and writes the code too. One agent, every computer.
Polish app UIs like dashboards and forms using your project's own components and colors
AI summary · README
Pivot is a high-performance real time analytics database on open data formats.
The wallpapers you love. A new home on your Mac.
A shared workspace for your team, Claude Code, and Codex. Bring your subscriptions, share tools and memory, and continue sessions across local, remote, and cloud runtimes.
A Material 3 Expressive music and video player for Android. YouTube Music, full video with picture-in-picture, live streams, downloads and eight player styles. Kotlin and Jetpack Compose.
Native Windows port of Shadow of the Colossus (PS4, CUSA08809) - bring your own game dump. Port nativo para PC.
Self-hosted iOS & Android simulator streaming for the whole team
BAMA: Build Any Mac App. Agent skills to research, clone, design, build, optimize, and test native macOS apps with Swift and SwiftUI.