搜索结果：r（356 个）

〔中文简介暂未生成〕 Native Scala mocking framework

ZIO Prelude 是专为 Scala 设计的轻量级函数式抽象库，可替代 Cats 或 Scalaz。它抛弃了传统复杂的函子层级，深度融合 Scala 子类型特性与 ZIO 生态，提供常用代数抽象与实用数据类型（如 NonEmptyList、Validation 等），帮助开发者更简单、务实地组合类型与处理数据。

无广告且轻量快捷的网络媒体与视频内容保存下载工具。

Frontend 是《卫报》（The Guardian）网站的后端服务系统。它基于 Scala 和 Play 框架构建，核心功能是处理并生成结构化 JSON 数据，提供给前端渲染服务（Dotcom Rendering）展示页面，同时严格保障响应速度与单次 I/O 限制等高性能指标。

开箱即用的网页变更监控与告警工具，支持追踪内容变动、降价及补货。

开源 AI 音视频生成平台，支持自托管与 600+ 模型，无审查过滤，基于 MIT 协议。

将任意网站转化为 CLI 工具，支持 AI Agent 直接复用已登录的浏览器。

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

Servant 是一个基于 Haskell 的类型级领域特定语言（DSL）。它主要解决 Web 应用中 API 定义与实现脱节的问题，允许开发者在类型层面精确描述 Web API，并以此统一支持后端服务搭建、客户端请求查询、接口 Mock 测试以及自动生成文档等功能。

Dart 与 Flutter 官方包管理平台 pub.dev 的网站源码。

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

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

基于 Vue3 + Element Plus 的管理后台，集成工作流、多租户及各类企业级业务功能。

Supabase 的 Flutter 集成库，帮助开发者轻松构建安全且可扩展的应用。

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

基于 AI 编码 Agent 的模板，支持通过一条命令克隆任意网站。

LaunchNext 是一款用 Swift 开发的免费工具，旨在为移除了启动台的 macOS 26+ 系统带回经典的 Launchpad 体验。 它支持一键读取旧系统数据库，完美还原原有的应用位置、文件夹与布局；高度可定制并支持多语言，让用户无缝重拾熟悉的启动台操作。

WAI 是 Haskell Web 框架与服务器之间的通用接口标准。它解决了应用与底层服务器解耦的问题：开发者基于 WAI 编写的 Web 应用，可直接部署在任意兼容后端（如高性能的 Warp）；同时它支持中间件机制，便于跨框架共享代码并实现模块化。

MUnit 是一个 Scala 测试库。它主要解决测试报错不明确和框架难扩展的问题，核心功能是提供极具可操作性、清晰直观的错误提示信息，并具备高度可扩展的 API，方便开发者编写和定制单元测试。

旨在改善《神力科莎》（Assetto Corsa）游戏体验的优化工具。