搜索结果：at（633 个）

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

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

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

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

基于 P2P WireGuard 的零信任网络平台，在任意网络中安全连接人员、设备与 AI Agent。

基于 Golang 与 Flutter 开发的高速跨平台下载器，支持 HTTP、BitTorrent、磁力链接与 ed2k。

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

基于 LLM 的多市场股票分析工具，能整合多源行情与新闻，生成决策看板并自动推送分析结果，支持零成本定时运行。

用于流处理、实时分析、LLM Pipeline 和 RAG 的 Python ETL 框架。

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

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

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

面向云原生环境的多租户 Postgres 连接池工具。

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

cabal2nix 是一款能将 Haskell 的 Cabal 构建文件自动转换为 Nix 构建指令的工具，解决了在 Nix 生态中打包 Haskell 项目时的定义编写问题。它还包含用于生成 nixpkgs 中 `haskellPackages` 包集合的 hackage2nix 等核心组件。

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 触发。