第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:輕量級一站式終端,內建 AI Agent。30+ 種協議 — SSH、Telnet、Mosh、RDP、VNC、SFTP、Serial、資料庫、Kubernetes。| 輕量級一站式終端軟體,內建 AI Agent,支援 SSH、RDP、VNC、SFTP、資料庫、K
AI 翻譯
免費、開源的 1:1 替代方案,取代 Grok Bot 與 Muse。從 iPhone、Mac 或 Linux 桌面將 Claude Code、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.
翻譯準備中
適用於 Android 的 Material 3 Expressive 音樂與影片播放器。YouTube Music、完整影片與畫中畫、直播、下載,以及八種播放器樣式。Kotlin 與 Jetpack Compose。
AI 翻譯
Shadow of the Colossus 的原生 Windows 移植(PS4,CUSA08809)——請自備遊戲轉儲。面向 PC 的原生移植。
AI 翻譯