搜索结果：v（650 个）

仿苹果风格的 Flutter UI 套件，支持着色器模糊、果冻动画与动态光效。

语法优雅简洁的 Web 应用框架，帮助开发者省去底层琐事、专注业务构建。

spark-excel 是一个专为 Apache Spark 打造的插件，主要解决 Spark 原生不支持直接读写 Excel 文件的痛点。它能将 Excel 表格解析为 Spark DataFrame，支持指定单元格区域、表头及数据类型推断；其 V2 版本还支持多文件加载与损坏记录处理。

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

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

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

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

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

精美的加载动画效果集合组件库。

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

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

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

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

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

基于 Valkey 的开源低延迟键值引擎，支持查询订阅与分层存储。

〔中文简介暂未生成〕 Neovim Lua plugin with fast and feature-rich surround actions. Part of 'mini.nvim' library.

适用于 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。