搜索结果：ai（215 个）
按分类缩小范围
tamarin-prover
综合 51
Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。
基于 FastAPI 与 React 的全栈 Web 模板，集成 SQLModel、PostgreSQL、Vite 及 Docker Compose。
graphql-engine
综合 51
极速为现有数据库生成实时 GraphQL API 的引擎，支持细粒度权限控制与数据库事件 Webhook 触发。
smile
综合 51
高性能统计机器智能与机器学习引擎（SMILE）。
ducktape
综合 50
ducktape 是一款专为 Scala 3 设计的无样板类型转换库（灵感来自 chimney）。它主要解决相似数据模型间手动映射繁琐的问题，能在编译期自动、可定制地实现结构相似的 case class、sealed trait 和 enum 之间的无缝转换。
solace-agent-mesh
综合 50
覆盖构建、测试、部署及监控全生命周期的 AI Agent 平台，通过事件网格进行协同。
nmap-vulners
综合 50
通过 HTTP 响应识别软件指纹并在 Vulners 查询，将服务扫描结果转化为 CVE、CVSS 分数及已知漏洞利用的 Nmap NSE 脚本。
easy_tv_live
综合 50
极简、轻量级的全平台 IPTV 播放器，支持 Android TV 大屏。
pytorch-image-models
综合 49
PyTorch 图像骨干网络合集，包含各类主流模型、预训练权重及训练推理脚本。
jumpserver
综合 49
具备 AI 能力的开源特权访问管理（PAM）平台，为团队提供安全访问 SSH、RDP、Kubernetes 等资源的统一工作区。
daily
综合 49
免费开源的个性化开发者资讯与社区平台，支持在浏览器新标签页及移动端获取优质技术内容。
scientific-agent-skills
综合 49
面向科学研究的 Agent 技能库，提供 177 个即用技能与 100 多个科学数据库，助你打造 AI 科学家。
react-bits
综合 49
大型开源 React 与 Next.js 动效交互组件库，支持高度自定义，专为开发者和 AI agent 打造。
OfficeCLI
综合 49
专为 AI Agent 打造的 Office 命令行工具，单二进制文件无需安装 Office，支持自动化读写 Word、Excel 和 PPT。
hindent
综合 49
hindent 是一款 Haskell 代码格式化工具。它解决 Haskell 代码排版不统一的问题，核心功能包括：按管道流或文件重新排版代码、自定义缩进与行宽、自动排序 import、配置特定换行符，以及支持指定 GHC 语言扩展语法。
orca （多编程智能体运行平台）
综合 48
支持用个人订阅批量运行 Claude Code、Codex 等编程 Agent，适配多端。
实时全球情报仪表板，在一个态势感知界面中集成 AI 新闻聚合、地缘政治与基础设施监测。
ubicloud
综合 48
AWS 开源替代方案，提供弹性计算、存储、K8s 及托管 Postgres 等服务。
n8n （开源工作流自动化平台）
综合 48
n8n 是内置 AI 能力的工作流自动化平台。支持自托管，结合可视化编排与代码，可连接 400+ 应用自动化处理流程。
errbit
综合 48
兼容 Airbrake API 的开源错误收集与监控工具。