搜索结果：v（552 个）
按分类缩小范围
stainless
综合 63
Stainless 是一个面向 Scala 语言子集的形式化验证框架与工具。它主要解决高阶 Scala 程序的正确性验证问题，支持 Scala 3.5.0 及以上版本。核心功能是通过命令行对代码进行形式化分析，自动验证断言及模式匹配完备性等属性。
sentence-transformers
综合 63
先进的文本嵌入（Embeddings）、信息检索与重排序（Reranking）工具库。
让 Opencode 通过 OAuth 连接 Antigravity，以使用其额度访问 gemini-3-pro 等模型。
100-Days-Of-ML-Code
综合 63
100 天搞定机器学习（100-Days-Of-ML-Code）项目官方中文版教程。
ivy
综合 63
在不同框架间转换机器学习代码。
caire
综合 63
基于内容感知的图像缩放库。
tfjs
综合 62
支持 WebGL 硬件加速的 JavaScript 库，用于在前端训练与部署 ML 模型。
SwarmUI
综合 62
模块化 Stable Diffusion Web 界面，注重易用高级工具、高性能与可扩展性。
llmfit
综合 62
支持数百种模型与平台，只需一条命令即可查询适合在当前硬件上运行的 LLM。
interact.js
综合 62
支持拖放、缩放和多点触控手势的 JavaScript 库，具备惯性与吸附效果，兼容现代浏览器及 IE9+。
GSYVideoPlayer
综合 62
支持多种内核、弹幕、外挂字幕、滤镜、水印及贴片广告的视频播放器。
Wan2.1
综合 62
开源且先进的大规模视频生成模型。
react-testing-library
综合 62
简单且完善的 React DOM 测试工具库，倡导良好的测试实践。
turbovec
综合 62
基于 TurboQuant 的向量索引库，采用 Rust 开发并提供 Python 绑定。
ai-memory
综合 62
为终端编码 Agent 提供长期记忆支持，并方便不同 Agent 厂商间无缝交接上下文的解决方案。
ScrollMagic
综合 62
用于制作滚动联动交互动画的 JavaScript 库，轻松实现视差与滚动特效。
sftpgo
综合 62
功能完备、高可配置的多协议传输服务器，支持 SFTP/WebDAV 及 S3 等多种存储后端。
debug
综合 62
轻量级 JavaScript 调试工具，参考 Node.js 核心调试技术实现，兼容浏览器端。
krita-ai-diffusion
综合 62
在 Krita 中集成的 AI 图像生成插件，支持局部重绘与扩图，无需复杂调参。
voicebox
综合 62
开源 AI 语音工作站，支持声音克隆、听写与音频创作。