搜索结果：haskell（13 个）

hledger 是一款用 Haskell 编写的纯文本复式记账工具，解决财务及时间记录难以版本化和跨平台管理的问题。它以纯文本格式存储数据，支持多币种、投资与发票追踪；提供 CLI、TUI 和 Web 界面，兼具极速处理性能与精准报表生成能力。

〔中文简介暂未生成〕 A gtk based status bar for tiling window managers such as XMonad

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

NeoHaskell 是一种面向新手友好与开发效率的 Haskell 方言及应用框架。它旨在降低 Haskell 的上手门槛与偶发复杂度，核心功能包括保留强类型安全、提供清晰明确的 API，以及为事件溯源应用提供基础设施、可复用库和开发工具。

Unison 是一门静态类型的现代函数式编程语言，主要解决传统开发中漫长的编译等待和繁琐的代码合并冲突问题。其核心是“内容寻址代码”机制，通过实现哈希而非名称来定位函数，并将 AST 存入数据库，从而实现近乎零等待的增量编译、测试结果完美缓存以及无冲突的语义级重命名。

〔中文简介暂未生成〕 A feature-rich Unix terminal client for the Mattermost chat system

clash-compiler 将 Haskell 编写的硬件设计编译为可综合的 VHDL、Verilog 或 SystemVerilog。核心功能：强类型推导、交互式 REPL 免测试平台调试、高阶函数参数化设计，及类型安全的多时钟域支持。

〔中文简介暂未生成〕 Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).

cabal2nix 是一款能将 Haskell 的 Cabal 构建文件自动转换为 Nix 构建指令的工具，解决了在 Nix 生态中打包 Haskell 项目时的定义编写问题。它还包含用于生成 nixpkgs 中 `haskellPackages` 包集合的 hackage2nix 等核心组件。

Megaparsec 是一个工业级的 Haskell 单子解析器组合子库，旨在兼顾解析速度、灵活性与高质量的错误提示。 核心功能包括： 1. **灵活的 Monad 栈构建**：基于 `MonadParsec`，支持结合各类 Monad 变换器定制状态与回溯行为； 2. **丰富的错误处理**：支持自定义解析错误、观察错误以及动态错误恢复（`withRecovery`）； 3. **高性能组合子**：提供零拷贝分块匹配（如 `tokens`、`takeWhileP`），大幅提升文本解析效率； 4. 支持字符、二进制解析及词法分析器构建。

**linear-base** 是面向 Haskell 线性类型（`-XLinearTypes`）的标准库。因原生 `base` 库不支持线性绑定，该项目提供了支持线性类型的 `Num`、`Monad` 等基础类型类与函数替代版，并提供文件/Socket I/O 及数组安全原地修改等抽象，用于保障资源安全与提升性能。

bsc 是 Bluespec 硬件描述语言的开源编译器与工具链。它解决传统数字硬件设计复杂、易出错的问题，支持 BSV 和 BH 两种语法，能通过强类型系统和“保护原子操作”进行模块化设计，并自动生成标准 Verilog，同时自带仿真器与标准库。

Squeal 是一个面向 Haskell 的 PostgreSQL 强类型嵌入库。它把 SQL 语法与模式（Schema）深度映射到 Haskell 类型系统，解决传统字符串 SQL 缺乏编译期校验、易出错的问题。 其核心功能包括： 1. **类型安全**：全面覆盖 DDL、DQL 与 DML，在编译期校验字段、NULL、主外键等约束。 2. **泛型编解码**：基于 `generics-sop` 自动转换 Haskell 记录与 SQL 参数/结果。 3. **完善生态**：支持连接池、事务、迁移及原生 SQL 逃逸机制。