搜索结果：v（637 个）

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

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

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

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

开源、注重隐私且无 Cookie 的轻量网站分析工具，可自托管，是 Google Analytics 的替代方案。

基于 WebSocket 提供广播、在线状态感知及 Postgres 变更监听服务。

全面的 C/C++ 技术面试基础知识与求职经验总结。

专为移动端 Web 页面打造的轻量、可扩展前端开发者调试工具。

自动封禁吸血和异常客户端的 BT 工具，支持自定义与云端规则。

基于 Flutter 开发的 LLM 聊天客户端，支持移动端与桌面端。

通用 Flutter 条码与二维码扫描插件，支持 Android、iOS、macOS 及 Web。

ArkhamHorror 是一款非官方的《诡镇奇谈：卡牌版》（LCG）网页端游戏实现。它严格还原实体桌游规则，支持最多 4 人联机或单人游玩；支持从 ArkhamDB 等站点导入牌组，内置大量官方战役与社区自制内容，并提供预构建包和 Docker 一键部署。

RikkaHub 是一款支持多个 LLM 提供商的 Android 应用。

适用于 Node.js、nw.js、electron 和浏览器的轻量级 JavaScript 数据库。

Cats 是一个基于 Scala 的轻量、模块化且可扩展的函数式编程库。针对 Scala 标准库兼顾面向对象的混合特性，它提供纯粹、高效、易上手且二进制兼容的函数式编程核心抽象，旨在为 Scala 纯函数式生态奠定基础，无需懂范畴论即可使用。

Mozilla 提取网页核心正文内容的 Readability 独立版本库。

jwt-scala 是一个为 Scala 打造的无外部依赖的 JSON Web Token（JWT）实现库。它支持 Java 17+、Scala 2.13 及 Scala 3，提供 HMAC、RSA、ECDSA 等多种签名算法，并可选扩展集成 Play、Circe、Json4s、uPickle 等主流 JSON 库，方便开发者在 Scala 生态中快速生成与验证 JWT。

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

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

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