搜索结果：r（841 个）

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

cabal2nix 是一款能将 Haskell 的 Cabal 构建文件自动转换为 Nix 构建指令的工具，解决了在 Nix 生态中打包 Haskell 项目时的定义编写问题。它还包含用于生成 nixpkgs 中 `haskellPackages` 包集合的 hackage2nix 等核心组件。

Google 开发的高性能 Key-Value 存储库，支持字符串键值的有序映射。

Play JSON 是一个用 Scala 编写的强大 JSON 库。它不依赖 Play 框架，底层使用 Jackson 解析。主要解决 Scala 应用中 JSON 解析、序列化与对象映射的需求。核心功能包括内置完整的 JSON AST、与样例类互转，以及提供便利的 DSL 操作符（如 `\`）快速查询和遍历 JSON。

基于 FastAPI 与 React 的全栈 Web 模板，集成 SQLModel、PostgreSQL、Vite 及 Docker Compose。

用于构建 Agent 和生成式 UI 的前端栈，支持 React、Angular 等框架。

极速为现有数据库生成实时 GraphQL API 的引擎，支持细粒度权限控制与数据库事件 Webhook 触发。

运行于页面的 JavaScript GUI Agent，支持用自然语言直接操控 Web 界面。

高性能统计机器智能与机器学习引擎（SMILE）。

〔中文简介暂未生成〕 A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.

微软官方出品，针对 1-bit LLM 的推理框架。

基于 Flutter 和 Rust 构建的无广告开源移动端无损音乐管理工具。

基于 WinUI 的跨平台 YouTube Music 客户端，支持无损播放和发烧级音频功能。

Tasty 是 Haskell 的现代化测试框架。它解决了各类测试难以统一管理的问题，能将单元测试、Golden 测试及 QuickCheck 等属性测试整合进同一个测试套件。核心功能包括多测试并发执行且确定性输出、命令行模式过滤、层级着色统计展示、跨测试资源管理及高度可扩展性。

akka-persistence-jdbc 是 Akka Persistence 的 JDBC 插件。它主要解决 Akka Actor 状态持久化与恢复问题，能将日志（journal）和快照（snapshot）异步写入关系型数据库，并完整支持 Persistence Query API，方便开发者基于 DDD 构建响应式应用。

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

ducktape 是一款专为 Scala 3 设计的无样板类型转换库（灵感来自 chimney）。它主要解决相似数据模型间手动映射繁琐的问题，能在编译期自动、可定制地实现结构相似的 case class、sealed trait 和 enum 之间的无缝转换。

基于 Flutter 构建的 Invoice Ninja 桌面端与移动端管理后台。

spark-solr 是由 Lucidworks 开源的 Spark 与 Solr 集成工具。它主要解决两者之间的数据互通问题，核心功能包括：将 Solr 中的数据读取为 Spark DataFrame 或 RDD 进行分布式处理，以及利用 SolrJ 将 Spark 中的对象数据批量索引写入 Solr。

知名国际象棋平台 Lichess 的官方移动端 App。