搜索结果：is（608 个）

Java 代码规范检查工具，默认支持 Google 与 Sun 编码规范且高度可配置。

为终端编码 Agent 提供长期记忆支持，并方便不同 Agent 厂商间无缝交接上下文的解决方案。

专为 MCP 服务器打造的确定性测试工具。

〔中文简介暂未生成〕 ZIO — A type-safe, composable library for async and concurrent programming in Scala

本地 LLM 开源桌面端，支持文本、视觉与工具调用，提供兼容 OpenAI/Anthropic 的 API。

一款管理 Git worktree 的 CLI 工具，专为并行 AI agent 工作流设计，方便处理多任务开发。

将博导十年科研经验炼化为可直接调用的 AI 技能，从 Idea 构思到论文投稿的科研副导师。

开源多云持续交付平台，助力快速、高可靠地发布软件变更。

Izumi 是提升 Scala 开发效率的独立工具与框架生态。它主要解决纯函数式 Scala（支持 Cats Effect、ZIO 等）在工程化中的繁琐痛点，核心提供编译期安全的依赖注入（distage）、跨测试共享资源的测试套件、基于字符串插值的结构化日志（LogStage）以及 Docker 测试集成等实用功能。

面向实时 Web 应用、具备高扩展性与协作能力的分布式文档-图数据库。

原生 macOS AI Agent 框架，基于 Swift 构建，完全离线开源，支持任意模型、持久化记忆、自主执行与加密身份。

RootEncoder 是一款专为 Android 打造的音视频推流编码库。它完全采用 Java/Kotlin 编写，帮助开发者轻松将音视频流推送到媒体服务器。 核心功能包括： 1. **多协议推流**：支持 RTMP、RTSP、SRT 及 UDP 协议； 2. **多视频源与控制**：兼容 Camera1/2、CameraX 及 UVC 外接摄像头，支持推流中动态切镜头与启闭音视频； 3. **音频处理**：内置噪声抑制与回声消除。

自带 Linter 与代码自动修复功能的 JavaScript 代码规范指南。

分布式爬虫管理平台，支持任意编程语言和爬虫框架，便于集中管理与调度任务。

Apache Kyuubi 是一个分布式、多租户的 Serverless SQL 网关。它提供类 HiveServer2 的 JDBC/ODBC 接口，让开发者无需 Spark 背景，直接用纯 SQL 即可查询数仓与数据湖的大规模数据。服务端支持多租户架构，实现资源隔离、高并发与高可用。

通过极简界面轻松生成 GitHub 个人主页 README，支持访客计数与数据统计等组件。

Chisel 是一个嵌入在 Scala 语言中的现代开源硬件描述语言（HDL）。它解决了传统硬件设计复用难、抽象层次低的问题，允许开发者借助 Scala 编写高可参数化的电路生成器，并能生成可综合的 Verilog 代码，适用于 ASIC 和 FPGA 数字逻辑设计。

数据库架构图编辑器，仅需一条查询命令即可可视化并设计你的数据库。

高效的 Web 目录与路径扫描工具。

CLIP 的开源实现。