搜索结果：v（552 个）

NVIDIA 开源的大规模 Transformer 语言模型分布式训练研究项目。

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

Apache Texera 是一款面向人机协同数据科学的可视化工作流平台，解决复杂数据分析门槛高及协作难的问题。它通过直观 GUI 让用户构建分析流程，并结合能理解自然语言的 AI Agent 辅助任务。核心功能包括工作流实时协作编辑、运行时调试、多语言原生支持（Python/Java）以及支持云端扩展的并行大数据处理引擎。

支持对接多种存储提供商的开源自托管网盘与文件共享系统。

一个对协作友好的 NeRF（神经辐射场）开发平台。

支持现代浏览器与触控设备的拖拽排序列表库，无需 jQuery 或任何框架依赖。

可在本地运行的音乐生成模型，支持 Mac、AMD、Intel 和 CUDA 设备。

基于 Rust 虚拟分布式文件系统构建的开源跨平台文件管理器。

成为人工智能（AI）领域专家的学习路线图指南（2022 版）。

系统化交易优质资源清单，精选相关库、工具包、交易策略、书籍、博客与教程。

面向可观测性的云原生开源搜索引擎。

更智能的 cd 命令行替换工具，支持各大主流 Shell。

Vision Transformer（ViT）的 PyTorch 简洁实现，用于图像分类任务。

基于 JVM 的深度学习训练与部署工具套件，支持导入 Keras、TensorFlow、ONNX/PyTorch 等模型。

通过添加 URL 前缀，将任意网页转换为适合 LLM 读取的输入格式。

文本与图像生成视频的大模型项目，包含 CogVideoX 与 CogVideo。

SwiftSoup 是一个纯 Swift 实现的跨平台 HTML/XML 解析库。它解决了在 Apple 平台和 Linux 上提取与处理网页内容繁琐的问题。核心功能包括支持 CSS 选择器和 DOM 遍历快速抓取数据、动态修改网页元素与文本、白名单防 XSS 清洗，以及自动识别并解析 XML 文档。

使用 PyTorch 从零开始、循序渐进实现类似 ChatGPT 的大语言模型教程。

纯 C99 实现的 Kimi K3 推理，无需 GPU、BLAS 或任何框架，单 CPU 和 8.24 GB 内存即可运行。

以数据为中心的开源 AI 库，用于解决真实复杂数据与标签的质量及机器学习问题。