搜索结果：haskell（7 个）

**wire-server** 是即时通讯应用 Wire 的开源后端服务项目，主要供开发者自建和部署专属的 Wire 服务端。 它涵盖了运行系统所需的核心微服务与库，包括反向代理、账户与团队管理、会话处理、文件资产存储、推送通知及单点登录（SSO）等功能。

〔中文简介暂未生成〕 lamdu - towards the next generation IDE

Stack 是用于开发 Haskell 项目的跨平台工具。它旨在解决 Haskell 开发环境与依赖管理问题，全面支持 Linux、macOS 和 Windows。无论是新手还是资深开发者，都可以通过它轻松搭建、构建和维护 Haskell 项目。

saw-script 是基于 Haskell 开发的软件分析工作台（SAW）。它主要解决多语言程序的形式化验证问题，支持对 C、Java、Rust 及 Cryptol 编写的代码进行形式化语义建模与推理。开发者可通过其专用的 SAWScript 脚本语言作为操作接口，结合 Z3 等 SMT 求解器完成代码的形式化验证。

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

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

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