搜索结果：at（241 个）

精选免费摄影图库、视频及插画素材网站的资源链接合集。

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

开源可自建的 LLM 网关，兼容多模型 API，支持模型路由、访问控制与用量计费。

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

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

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

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

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

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

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

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

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

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

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

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

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

Apache Toree 是一个专为 Apache Spark 打造的 Jupyter Notebook 内核，主要支持 Scala 语言。它让开发者能通过 Jupyter 交互式连接 Spark 集群，直接编写并运行 Spark 任务、执行代码片段、加载依赖并即时获取计算结果。

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

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

注重隐私的 Gecko 浏览器，支持容器、Web 应用、Tor/VPN 及设备端搜索。