搜索结果：v（272 个）

〔中文简介暂未生成〕 A Scala DSL for talking with databases with minimum verbosity and maximum type safety

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

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

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

开源 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，支持自托管或云端部署，帮你一站式统计流量、行为与转化数据。

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

Hakyll 是一个用 Haskell 编写的静态网站生成器库。它主要用于帮助开发者将 Markdown、模板等源文件编译构建为静态网站，支持通过 Cabal 或 Stack 工具直接安装与集成。

Amazonka 是专为 Haskell 打造的 AWS SDK，解决了在 Haskell 生态中对接 AWS 服务的需求。其核心功能包括基础配置、身份认证和请求发送逻辑，并借助代码生成器自动同步 Amazon 最新 API，全面支持绝大多数 AWS 公共服务。

Dify 是一个 AI 协同开发平台，用于构建 Agent 工作流与 RAG 管道，支持多种模型与工具，助团队从原型快速落地生产。

Scastie 是可在浏览器中直接运行的 Scala 交互式 Playground（类似网页版 sbt）。它解决了本地搭建 Scala 环境繁琐的问题，支持任意 Scala 版本、多后端（Scala 3、Scala.js 等）及公开库依赖检索。核心功能包括类似 IDE 的 worksheet 模式、代码在线分享与网页嵌入。

专为学习大规模系统设计和备战系统设计面试打造的开源指南，内容全面且附带 Anki 记忆卡片。