搜索结果：types（835 个）

专用于深度金融研究与分析的自主型 AI Agent。

注重轻量、模块化与高性能的虚拟 DOM 库。

jackson-module-scala 解决了 Jackson 默认无法良好兼容 Scala 特有数据结构的问题。作为官方扩展模块，它为 Scala 提供序列化与反序列化支持，原生适配样例类（Case Classes）、Option、Tuple、集合（Seq/Map）及枚举等类型。支持 Scala 2 和 3，注册到 ObjectMapper 即可无缝处理 JSON、XML 等格式。

Cursor 插件规范定义及官方插件合集。

无广告且轻量快捷的网络媒体与视频内容保存下载工具。

refined 是一个 Scala 精细类型库。它通过类型级谓词约束数值范围，解决常规类型无法表达具体取值限制的问题。核心功能包括：在编译期通过宏校验字面量合法性并报错；在运行期校验动态数值；以及提供类型推断规则，支持在编译期安全转换兼容的精细类型。

适用于 iOS、iPadOS 和 macOS 的声明式图表框架，支持折线、柱状、饼图等多种样式。

面向去中心化金融、抗审查且高安全性的最小化信任零知识证明跨链桥协议。

用于快速搭建管理后台、内部工具和仪表盘的平台，支持连接 25+ 种数据库和各类 API。

LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。

本地优先的开源 AI 协同设计工作区，支持与团队及 AI Agent 一起创建动效、原型、网站、应用和多媒体内容。

整合多平台免费端点的 LLM 聚合网关，兼容 OpenAI 格式并支持智能故障转移。

为 macOS 多数音视频文件提供 Finder 缩略图、快速查看预览以及 Spotlight 和简介元数据展示。

支持自主、多会话运行的 AI 编程工具。

基于 AI Agent 的社交媒体内容排期与调度工具。

Umami 是注重隐私的网站与产品分析平台，不依赖 Cookie，支持自托管或云端部署，帮你一站式统计流量、行为与转化数据。

开源的 Agent 技能工具，支持通过 npx skills 使用。

基于 AI 编码 Agent 的模板，支持通过一条命令克隆任意网站。

个人 AI 助手，安装简便，支持本地或云端部署，适配多款聊天应用且功能易扩展。

开源 Agent 评估与可观测性平台，用于追踪、评估和持续改进 LLM 应用。