搜索结果：types（836 个）
按分类缩小范围
nx
综合 55
支持开发者与 AI Agent 的 Monorepo 平台，能优化构建、扩展 CI 并自动修复失败的 PR，成倍提升交付速度。
open-lovable
综合 55
秒级克隆并重建任意网站为现代化 React 应用的工具。
zerox
综合 55
基于视觉模型的 OCR 与文档内容提取工具。
dexter
综合 55
专用于深度金融研究与分析的自主型 AI Agent。
jackson-module-scala
综合 54
jackson-module-scala 解决了 Jackson 默认无法良好兼容 Scala 特有数据结构的问题。作为官方扩展模块，它为 Scala 提供序列化与反序列化支持，原生适配样例类（Case Classes）、Option、Tuple、集合（Seq/Map）及枚举等类型。支持 Scala 2 和 3，注册到 ObjectMapper 即可无缝处理 JSON、XML 等格式。
plugins
综合 54
Cursor 插件规范定义及官方插件合集。
cobalt
综合 54
无广告且轻量快捷的网络媒体与视频内容保存下载工具。
refined
综合 54
refined 是一个 Scala 精细类型库。它通过类型级谓词约束数值范围，解决常规类型无法表达具体取值限制的问题。核心功能包括：在编译期通过宏校验字面量合法性并报错；在运行期校验动态数值；以及提供类型推断规则，支持在编译期安全转换兼容的精细类型。
AAChartKit-Swift
综合 53
适用于 iOS、iPadOS 和 macOS 的声明式图表框架，支持折线、柱状、饼图等多种样式。
union （零知识证明跨链桥协议）
综合 53
面向去中心化金融、抗审查且高安全性的最小化信任零知识证明跨链桥协议。
appsmith
综合 53
用于快速搭建管理后台、内部工具和仪表盘的平台，支持连接 25+ 种数据库和各类 API。
liquidhaskell
综合 53
LiquidHaskell 是面向 Haskell 的形式化验证工具。它通过引入细化类型（Refinement Types）并结合 Z3 等 SMT 求解器，帮助开发者对代码逻辑进行严格的形式化验证。它可以作为 GHC 插件直接运行，从而在编译期检查程序性质并发现潜在错误。
open-design （协作式AI设计工作台）
综合 53
本地优先的开源 AI 协同设计工作区，支持与团队及 AI Agent 一起创建动效、原型、网站、应用和多媒体内容。
freellmapi
综合 53
整合多平台免费端点的 LLM 聚合网关，兼容 OpenAI 格式并支持智能故障转移。
QuickLookVideo
综合 53
为 macOS 多数音视频文件提供 Finder 缩略图、快速查看预览以及 Spotlight 和简介元数据展示。
SecLists
综合 53
安全测试字典合集，收录安全评估所需的用户名、密码、URL 与敏感数据等列表。
Aperant
综合 53
支持自主、多会话运行的 AI 编程工具。
postiz-app
综合 53
基于 AI Agent 的社交媒体内容排期与调度工具。
umami （隐私优先的网站分析平台）
综合 53
Umami 是注重隐私的网站与产品分析平台，不依赖 Cookie，支持自托管或云端部署，帮你一站式统计流量、行为与转化数据。
skills
综合 53
开源的 Agent 技能工具，支持通过 npx skills 使用。