搜索结果：haskell（13 个）

Monoscope 是基于 Haskell 开发的开源可观测性平台，解决遥测数据存储成本高、检索难的问题。它支持将日志、指标和链路追踪低成本存入兼容 S3 的存储桶；核心功能包括原生 OpenTelemetry 集成、实时流式查看、大模型自然语言查询，以及通过 AI Agent 自动检测异常并发送报告。

Futhark 是由哥本哈根大学开发的数据并行纯函数式编程语言，属于 ML 语言家族。它主要解决高性能并行计算的编写难题，核心功能是将函数式代码编译为可在 CPU 或 GPU（支持 CUDA、OpenCL）上运行的高效并行程序，适用于实用级高性能计算场景。

IHP 是一个基于 Haskell 和 Nix 的开箱即用型全栈 Web 框架，旨在提供兼顾编译期类型安全与极高开发效率的体验。它内置路由、HSX 模板、可视化数据库设计器、代码生成器、热重载及身份验证，并通过 Nix 统一部署环境，让开发者更稳、更快地构建 Web 应用。

〔中文简介暂未生成〕 The Egison Programming Language

该项目是函数式编程语言 Elm 的官方编译器，使用 Haskell 编写。它致力于帮助开发者构建可靠的 Web 应用，核心功能是将 Elm 代码编译为高效的前端代码，并提供安装支持，为编写无运行时异常的 Web 应用提供底层编译保障。

gwern.net 是知名独立网站的开源建站基础设施。基于 Haskell 的 Hakyll 搭建，解决长文阅读和知识归档体验问题。核心功能包括网页外链本地快照归档、悬浮弹窗预览、双向反向链接、内容嵌入/折叠、暗黑及阅读模式，并提供旁注、首字下沉等极致排版特性。

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

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

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

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

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

Onyx 是一款音乐节奏游戏工具包，主要用于简化《摇滚乐队》（Rock Band）、《吉他英雄》（Guitar Hero）及《Clone Hero》等游戏的自制谱面流程。其核心功能是处理歌曲谱面的构建、数据格式转换与各类变换，并提供歌曲预览等实用工具。

Swarm 是一款用 Haskell 编写的 2D 资源收集与编程游戏。玩家通过编写代码来操控机器人探索未知世界、收集各类资源；再利用这些资源制造并升级更先进的机器人，从而支持运行更复杂、更有趣的程序来拓展探索。