第16名quint
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
翻译准备中
星标50至1,999 · 按上一轮8小时周期的增量排序 · 每8小时更新 · 统计规则
8小时 +数字表示较上一轮增加的星标 · ★表示星标总数
基准周期11月7日 16:00 KST · 下次计划11月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. | 轻量级一站式终端软件,内置 AI Agent,支持 SSH、RDP、VNC、SFTP、数据库、K
免费开源的 1:1 Grok Bot 与 Muse 替代方案。可在 iPhone、Mac 或 Linux 桌面上将 Claude 代码、Codex、Cursor 以及 40 多个编码代理作为持久机器人使用。支持群组聊天、线程、应用。
AI 翻译
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 摘要 · README
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.
翻译准备中
基于 Material 3 的表达式音乐和视频播放器,适用于 Android。支持 YouTube 音乐、全视频画中画、直播流、下载以及八种播放器样式。使用 Kotlin 和 Jetpack Compose。
AI 翻译
Shadow of the Colossus 的原生 Windows 移植(PS4,CUSA08809)——请自备游戏转储。面向 PC 的原生移植。
AI 翻译