热门项目

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

翻译准备中

开发工具组织

Kubernetes operator for managing the lifecycle of Apache Spark applications on Kubernetes.

翻译准备中

开发工具组织

适用于 Android 的天气软件，支持多来源 🌦🌞☔

AI 翻译

生活方式个人

Java bytecode AOT compiler

翻译准备中

开发工具个人

一个 AI 灵魂伴侣，能够观察、阅读、倾听并陪伴你玩耍——拥有类人记忆和情感，根植于她的骨髓。从桌面到口袋，从深夜游戏到懒散浏览，她

AI 翻译

其他组织

Open-source framework for large language model evaluations

翻译准备中

开发工具组织

Debug and profile React Native & Swift apps faster with Argent: a toolkit for AI agents, helping you control the simulator, inspect issues, and automate testing.

翻译准备中

开发工具组织

用于面试和会议的 AI，提供实时代码帮助、即时答案和自动笔记。不同于 Cluely 或 FinalRoundAI，通话中保持隐形——且完全免费。

AI 翻译

效率工具组织

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

翻译准备中

开发工具组织

在您的运营数据库上添加实时分析节点。Spice 是一个可移植、加速的 SQL 查询、搜索和 LLM 推理引擎，使用 Rust 构建，适用于数据驱动的 AI 应用和代理。

AI 翻译

数据组织

跨平台游戏引擎

AI 翻译

游戏组织

Open Source record and playback test automation for the web.

翻译准备中

插件组织

從 Windsurf 代理進化成 Devin 雲端代理 · 四协议 · 零依赖 · 无需二进位

翻译准备中

开发工具个人

Envoy Gateway Manage your Application and API traffic with Envoy Gateway. Aimed at making it easy to adopt, use, and manage Envoy Proxy. Deploy as a Standalone or Kubernetes-based API Gateway, impleme

翻译准备中

开发工具组织

ChainList is a list of RPCs for EVM(Ethereum Virtual Machine) networks. Use the information to connect your wallets and Web3 middleware providers to the appropriate Chain ID and Network ID. Find the b

翻译准备中

开发工具组织