搜索结果：ant（414 个）

基于 Fetch API 构建的轻量、优雅的 JavaScript HTTP 客户端。

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

GitHub 官方编程语言检测工具。若仓库语言识别有误，可在此提交 PR。

感知桌面屏幕上下文的 AI 助手，结合多 LLM 与 MCP 工具跨应用操作。

移动端优先的无障碍组件库，可在 Android、iOS 和 Web 间构建一致的 UI。

基于“复制即翻译”理念的外语阅读与即时翻译辅助工具。

支持 Markdown、todo.txt 的 Android 文本编辑与笔记应用。

专为 Laravel 框架打造的优雅调试助手工具。

支持接入多款 IM 平台与 LLM 的 AI Agent 助手及扩展开发框架。

专为 Vim 设计的高性能代码自动补全引擎。

终端里的交互式 JSON 查看与处理工具。

基于 Go 开发的高性能 HTTP Web 框架，提供类似 Martini 的 API，性能表现优异。

修改 Apple 网络定位坐标，支持多款网络工具与快捷指令一键设置。

Agda 是一个基于依值类型（Dependent Types）的编程语言兼交互式定理证明器，使用 Haskell 开发。它主要用于类型理论研究和高可靠性程序验证，支持开发者编写严谨的程序代码，并利用其强大的类型系统进行数学定理的形式化交互证明、类型检查与编译。

sttp 是一款专为 Scala 设计的 HTTP 客户端库。它解决了 Scala 生态中网络请求调用繁琐、技术栈割裂的问题。核心功能包括：提供统一易用的 API，支持同步、Future 及各类函数式 Effect（如 cats-effect、ZIO）；兼容 OkHttp 等多种底层后端；支持 URI 插值、JSON 自动编解码、流式传输、文件收发与 WebSocket。

命令行编程答疑工具，可在终端中直接即时检索并获取代码解决方案。

用于将米家设备接入 Home Assistant 智能家居系统的官方集成插件。

专为好友、群组和社区打造的开源即时通讯与 VoIP 语音聊天应用。

scalameta 是一个专为 Scala 打造的元编程库。它主要解决 Scala 代码在分析、转换和生成等处理上的繁琐问题。核心功能涵盖代码解析（Parser）、语法与语义分析（SemanticDB）、代码格式化打印（Pretty-printer）及代码自动生成与转换。

RuView 无需摄像头画面，利用普通 WiFi 信号即可实现实时空间感知、人体存在检测以及呼吸心率等生命体征监测。