搜索结果：cv（29 个）

支持图像、视频、音频和 3D 数据集的标注平台，提供 AI 辅助标注及协作管理功能。

Go 语言原生跨平台 RPA、GUI 自动化、自动化测试与 Computer use 工具。

用于在顶尖 AI 会议和期刊论文中绘制高质量图表的 Python 脚本集。

轻量高效的跨平台桌面标注工具，支持文本、图像、视频、点云等多模态数据标注。

专为科研学者与工程师打造的简历制作工具。

面向 AI Agent 的单文件无服务器记忆层，用于替代复杂 RAG，提供即时检索与长期记忆。

SynapseML（原 MMLSpark）是基于 Apache Spark 的分布式机器学习库，主要解决大规模数据下构建 ML 流水线复杂度高的问题。它无缝兼容 SparkML API，支持在弹性集群上分布式训练，覆盖文本分析、计算机视觉、异常检测及深度学习等任务，并支持 Python、Scala 等多语言调用。

CVPR'25 Spotlight 论文官方仓库，专注于可扩展、通用的 3D 生成。

免费在线 AI 简历制作与编辑工具（官网：https://magicv.art）。

Apalache 是面向 TLA+ 和 Quint 的符号模型检查器，基于 Scala 开发。它通过将系统规范转换为 Z3、CVC5 等 SMT 求解器支持的逻辑，实现有界模型检查并验证归纳不变量。借助约束求解能力，它可处理更大状态空间，解决传统工具难以应对的复杂系统验证问题。

Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。

Chipyard 是基于 Chisel 的开源敏捷 RISC-V SoC 设计框架。它整合了顺序核（Rocket）、乱序核（BOOM）、向量单元和加速器（Gemmini、NVDLA 等），并集成软件 RTL 仿真、FPGA 加速仿真及自动 VLSI 流程，帮开发者快速构建并验证全功能定制芯片。

用于流式 3D 重建的几何上下文 Transformer 模型。

〔中文简介暂未生成〕 SonicBOOM: The Berkeley Out-of-Order Machine

GhostLock 一键执行利用应用（针对 CVE-2026-43499）。

OpenCV 的扩展模块代码仓库。

开源 AI 求职 Agent：扫描招聘网站、对比简历打分、定制 ATS 友好简历并提供面试准备。

通过 HTTP 响应识别软件指纹并在 Vulners 查询，将服务扫描结果转化为 CVE、CVSS 分数及已知漏洞利用的 Nmap NSE 脚本。

适配 RISC-V 架构的教学操作系统 Xv6。

开源计算机视觉与跨平台图像处理算法库。