搜索结果：v（637 个）

**miso** 是一个基于 Haskell 的前端与移动端框架，受 Elm 和 React 启发，让开发者能用纯函数式语言编写 UI。 核心功能包括： 1. **MVU 架构与虚拟 DOM**：支持递归 diff 和高效更新。 2. **现代前端特性**：支持组件、生命周期、类型安全路由与事件委托。 3. **多目标编译**：通过 GHC 编译为 JS 或 WASM，支持 WASM 热重载。

面向 Web 平台的 Live2D 看板娘插件，把萌萌哒的看板娘抱回家。

分布式定时任务。

开源数据收集与处理引擎，用于实时传输和解析日志、事件及各类数据。

Searchkick 是专为 Rails（支持 Active Record 和 Mongoid）打造的智能搜索 Gem，基于 Elasticsearch 或 OpenSearch。它解决了复杂搜索接入成本高的问题，支持像写 SQL 一样进行查询，并开箱提供拼写纠错、词干提取、同义词匹配、自动补全、零停机重建索引及搜索个性化等功能。

〔中文简介暂未生成〕 Lift Framework

一款内网综合扫描工具，支持一键自动化、全方位的漏洞排查扫描。

Zotero 翻译插件，支持 PDF、EPub 等内容，集成 20 多种翻译服务。

Binding.scala 是一个支持 JVM 和 Scala.js 的响应式数据绑定库。它主要解决前端与 GUI 开发中的视图与数据同步问题。核心功能是提供精确的响应式数据绑定与自动生命周期管理，无需虚拟 DOM 即可高效更新视图，同时支持静态类型检查与 HTML 字面量语法。

Caliban 是一个面向 Scala 的纯函数式 GraphQL 库，用于构建 GraphQL 服务端与客户端。它能帮开发者免去手动定义 Schema 的繁琐样板代码，利用 Scala 标准类型在编译期完成 Schema 定义与校验，并结合运行时解析器，提供兼顾纯函数式和高性能的 GraphQL 解决方案。

功能强大、交互丰富的浏览器端开源数据可视化与图表库。

Airbnb 开源的可视化底层组件库。

面向移动端和 Web 的无痛 E2E 自动化工具。

几分钟内将网站或 HTML/Vue/React 项目打包为小于 5M 的桌面与手机应用。

基于 PyTorch 实现的去噪扩散概率模型（DDPM）。

doobie 是 Typelevel 旗下面向 Scala 的纯函数式 JDBC 访问层。它主要解决 Scala 开发者在进行数据库交互时的函数式编程集成问题，通过提供纯函数式的方式封装 JDBC 操作，让数据库访问更加安全、类型可控且契合函数式编程规范。

基于 Python 开发的 GDB 模块化可视化界面工具。

Flink 学习资源整理，涵盖基础入门、原理调优、源码解析及实战项目案例。

统一的实时数据平台，融合了流处理与快速数据存储，支持对动态数据进行实时洞察与即时响应。

〔中文简介暂未生成〕 GraphFrames is a package for Apache Spark which provides DataFrame-based Graphs