搜索结果：haskell（7 个）
按分类缩小范围
compiler
综合 57
该项目是函数式编程语言 Elm 的官方编译器，使用 Haskell 编写。它致力于帮助开发者构建可靠的 Web 应用，核心功能是将 Elm 代码编译为高效的前端代码，并提供安装支持，为编写无运行时异常的 Web 应用提供底层编译保障。
Carp
综合 57
Carp 是一门专为游戏、音频合成和可视化等实时高性能场景设计的静态类型 Lisp 语言。它没有垃圾回收器和虚拟机，通过所有权追踪实现自动且确定性的内存管理，避免隐藏的性能开销。同时支持静态类型推导、Lisp 宏、REPL 交互，并能直接与现有 C 代码集成。
stack
综合 54
Stack 是用于开发 Haskell 项目的跨平台工具。它旨在解决 Haskell 开发环境与依赖管理问题，全面支持 Linux、macOS 和 Windows。无论是新手还是资深开发者，都可以通过它轻松搭建、构建和维护 Haskell 项目。
rzk
综合 53
〔中文简介暂未生成〕 An experimental proof assistant based on a type theory for synthetic ∞-categories.
ArkhamHorror
综合 53
ArkhamHorror 是一款非官方的《诡镇奇谈：卡牌版》（LCG）网页端游戏实现。它严格还原实体桌游规则，支持最多 4 人联机或单人游玩；支持从 ArkhamDB 等站点导入牌组，内置大量官方战役与社区自制内容，并提供预构建包和 Docker 一键部署。
onyx
综合 48
Onyx 是一款音乐节奏游戏工具包，主要用于简化《摇滚乐队》（Rock Band）、《吉他英雄》（Guitar Hero）及《Clone Hero》等游戏的自制谱面流程。其核心功能是处理歌曲谱面的构建、数据格式转换与各类变换，并提供歌曲预览等实用工具。
swarm
综合 46
Swarm 是一款用 Haskell 编写的 2D 资源收集与编程游戏。玩家通过编写代码来操控机器人探索未知世界、收集各类资源；再利用这些资源制造并升级更先进的机器人，从而支持运行更复杂、更有趣的程序来拓展探索。