搜索结果：v（650 个）

专为不可预测增长负载打造的分布式数据库，原生支持事务、分析与向量搜索。

高度可定制的应用导航页与仪表盘，深度集成 Docker 与第三方服务 API。

sbt-updates 是一款用于检查项目依赖版本的 sbt 插件。它能从 Maven 等仓库获取元数据，检测项目依赖及 sbt 插件是否有新版本可用，并兼容交叉编译版本。核心功能包括在终端展示可升级依赖、导出更新报告、支持依赖过滤及有更新时自动阻断构建。

〔中文简介暂未生成〕 A tool for data sampling, data generation, and data diffing

基于 LLM 从非结构化文本中提取结构化信息的 Python 库，支持精确原文溯源与交互式可视化。

基于 Meteor 构建的开源看板工具。

为 ReactiveSwift 提供的 Cocoa 框架与 Obj-C 动态绑定库。

让 AI Agent 浏览全网的 CLI 工具，免 API 费用即可检索与读取 Twitter、Reddit、B站、小红书等平台内容。

兼顾灵活性、高效性与跨平台特性的 Rust 深度学习框架。

case-app 是一个 Scala 命令行参数解析库。它允许开发者直接用样例类（case class）字段来定义选项，自动完成参数解析并生成帮助信息。核心功能包括支持子命令、Shell 补全、注解定制帮助，以及跨 JVM、Scala.js 和 Scala Native 运行。

Pentaho 数据集成（ETL）工具，亦称 Kettle。

Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。

Google 开发的高性能 Key-Value 存储库，支持字符串键值的有序映射。

Play JSON 是一个用 Scala 编写的强大 JSON 库。它不依赖 Play 框架，底层使用 Jackson 解析。主要解决 Scala 应用中 JSON 解析、序列化与对象映射的需求。核心功能包括内置完整的 JSON AST、与样例类互转，以及提供便利的 DSL 操作符（如 `\`）快速查询和遍历 JSON。

基于 FastAPI 与 React 的全栈 Web 模板，集成 SQLModel、PostgreSQL、Vite 及 Docker Compose。

用于构建 Agent 和生成式 UI 的前端栈，支持 React、Angular 等框架。

极速为现有数据库生成实时 GraphQL API 的引擎，支持细粒度权限控制与数据库事件 Webhook 触发。

运行于页面的 JavaScript GUI Agent，支持用自然语言直接操控 Web 界面。

高性能统计机器智能与机器学习引擎（SMILE）。

〔中文简介暂未生成〕 A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.