搜索结果：ant（415 个）
按分类缩小范围
serena
综合 53
面向编程的强大 MCP 工具包，具备语义检索与编辑能力，宛如智能体的专用 IDE。
laravel （PHP Web 应用框架）
综合 53
语法优雅简洁的 Web 应用框架，帮助开发者省去底层琐事、专注业务构建。
AAChartKit-Swift
综合 53
适用于 iOS、iPadOS 和 macOS 的声明式图表框架，支持折线、柱状、饼图等多种样式。
servant
综合 53
Servant 是一个基于 Haskell 的类型级领域特定语言（DSL）。它主要解决 Web 应用中 API 定义与实现脱节的问题，允许开发者在类型层面精确描述 Web API，并以此统一支持后端服务搭建、客户端请求查询、接口 Mock 测试以及自动生成文档等功能。
rzk
综合 53
〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.
unity-mcp
综合 53
连接 AI 助手与 Unity 编辑器的桥梁，让 LLM 能够管理资产、操作场景、编辑脚本并自动化任务。
OpenCorePkg
综合 53
开源的 OpenCore 引导加载程序。
Aperant
综合 53
支持自主、多会话运行的 AI 编程工具。
InstantSpaceSwitcher
综合 53
macOS 原生桌面空间切换工具，切换过程无过渡动画。
QwenPaw
综合 53
个人 AI 助手，安装简便，支持本地或云端部署，适配多款聊天应用且功能易扩展。
nanoclaw
综合 53
容器化运行的安全轻量 OpenClaw 替代方案，支持 WhatsApp、Telegram 等平台，带记忆与定时任务。
Everywhere
综合 53
感知桌面屏幕上下文的 AI 助手，结合多 LLM 与 MCP 工具跨应用操作。
mlx-serve
综合 53
面向 Apple Silicon 的原生 LLM 推理服务，兼容双 API，无 Python，含多模态功能。
GoodbyeDPI
综合 53
适用于 Windows 的深度包检测（DPI）规避工具。
leantime
综合 53
注重目标的开源项目管理系统，专为非项目经理及神经多样性群体设计。
kimi-k3-in-c
综合 53
纯 C99 实现的 Kimi K3 推理，无需 GPU、BLAS 或任何框架，单 CPU 和 8.24 GB 内存即可运行。
PeerBanHelper
综合 53
自动封禁吸血和异常客户端的 BT 工具，支持自定义与云端规则。
ArkhamHorror
综合 53
ArkhamHorror 是一款非官方的《诡镇奇谈：卡牌版》（LCG）网页端游戏实现。它严格还原实体桌游规则，支持最多 4 人联机或单人游玩；支持从 ArkhamDB 等站点导入牌组，内置大量官方战役与社区自制内容，并提供预构建包和 Docker 一键部署。
pug
综合 53
专为 Node.js 打造的稳健、优雅且功能丰富的模板引擎。
blink.cmp
综合 52
一款高性能、开箱即用的 Neovim 代码补全插件。