搜索结果：r（419 个）

Ciris 是一个专为 Scala 打造的函数式配置加载库。它旨在解决 Scala 应用中的配置加载问题，核心特点是轻量级且可组合，让开发者能够以函数式的方式轻松管理和组合应用配置。

Tamarin prover 是一个用 Haskell 开发的安全协议验证工具。它主要解决网络和安全协议的安全性分析与形式化验证问题。核心功能包括支持复杂协议的模型构建与分析、提供图形化输出展示、内置大量协议案例，并配套 Tree-sitter 语法及常见编辑器的语法高亮支持。

GeoTrellis 是一个高性能地理数据处理框架，采用 Scala 编写。它主要解决大规模地理空间栅格与矢量数据的读写与运算难题，支持栅格代数计算；同时深度整合 Spark，并提供针对 S3、HBase 等外部存储及 GDAL、GeoTools 的扩展支持。

〔中文简介暂未生成〕 Plugin for sbt to create Eclipse project definitions

spark-testing-base 是一个用于 Spark 应用程序测试的基础库。它解决了每次编写测试时都要手动搭建和销毁本地 Spark 运行环境的麻烦。核心功能是提供预设的测试基类，让开发者直接继承即可快速编写针对 Spark 的单元测试，支持 Scala 和 Python。

Orbeon Forms 是一款面向企业和开发者的开源复杂表单构建与运行平台，基于 Scala 开发。它支持通过可视化设计器制作多页面表单，内置校验、计算和重复项等逻辑；可高效采集数据、生成 PDF/Excel 文件，并提供权限控制及 API，方便与现有系统集成。

Play-ReactiveMongo 是专为 Play Framework 开发的 MongoDB 插件。它集成了 ReactiveMongo 驱动，解决 Play 项目中异步操作 MongoDB 的需求，核心功能是为开发者提供响应式、异步且非阻塞的 Scala 数据库访问支持。

〔中文简介暂未生成〕 A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.

SimpleXMQ 是基于 Haskell 开发的单向（simplex）消息代理，解决了在公共网络中安全、隐私地管理消息队列与传输的问题。其核心功能包括提供 SMP 服务端、客户端库及代理，支持基于 TLS 指纹防劫持的通信、内存存储结合追加日志持久化，并通过组合多个单向队列实现全双工连接。

Argonaut 是一个基于纯函数式编程理念的 Scala JSON 库。它主要解决 Scala 开发者在处理 JSON 时的解析、生成与数据映射需求。核心功能包括 JSON 数据的解析、格式化输出与操作，并提供便捷的编解码器（codecs），支持 JSON 与 Scala 原生数据类型之间的相互转换。

集成了各类模型、Agent 与效率工具的 AI 工作台桌面应用。

mdoc 是一款针对 Scala 的 Markdown 文档生成工具。它主要解决技术文档中代码示例容易过时、报错的问题，核心功能是对 Markdown 文件中嵌入的 Scala 代码进行类型检查和编译运行，确保文档里的代码始终正确有效。

极简、轻量级的全平台 IPTV 播放器，支持 Android TV 大屏。

Dispatch Reboot 是一个 Scala 异步 HTTP 客户端库。它基于 Java 的 AsyncHttpClient（AHC）重写并封装，旨在为 Scala 开发者提供更符合语言习惯、易用的 HTTP 请求与交互接口，支持 Java 11+ 及 Scala 2.13、3.3.3+。

为扫描版 PDF 添加 OCR 文本层，使其支持文本搜索。

Swagger UI 是一套前端资源集合，能根据符合 Swagger 规范的 API 动态生成美观的交互式接口文档。

专为 JavaScript 打造的 API 文档自动生成工具。

提供免费域名注册与实用 DNS 学习资源的平台，支持自定义 nameservers，帮助开发者零成本获得域名并学习上线部署。

〔中文简介暂未生成〕 Hackage-Server: A Haskell Package Repository

面向无向量、基于推理的 RAG 打造的文档索引工具。