nomorevibe
語言: 中文(繁體)
登入發布專案

第393名My TLA+ Home Page

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

翻譯準備中

開發工具★ 3,164+5

第396名Inspect

Open-source framework for large language model evaluations

翻譯準備中

開發工具★ 3,144+7

第398名Project N.E.K.O

一位能觀察、閱讀、聆聽並陪伴你的 AI 靈魂伴侶——具有人類般的記憶與情感,存在於她的骨髓中。從桌面到口袋,從深夜遊戲到悠閒瀏覽,她隨時在側。

AI 翻譯

其他★ 3,140+1

第400名Natively

AI for interviews & meetings with live coding help, instant answers, and auto notes. Unlike Cluely or FinalRoundAI, invisible during your call — and completely free.

翻譯準備中

生產力★ 3,129+4

第401名Robusta

Robusta groups thousands of alerts into a handful of real incidents, investigates them with full context, and remembers every result.

翻譯準備中

開發工具★ 3,125

第402名spiceai

Add a real-time analytics node to your operational database. Spice is a portable, accelerated SQL query, search, and LLM-inference engine in Rust for data-grounded AI apps and agents.

翻譯準備中

資料★ 3,120+4

第405名DevinAPI

從 Windsurf 代理演變為 Devin 雲端代理 · 四協議 · 零依賴 · 無需二進位

AI 翻譯

開發工具★ 3,116+1