搜索结果：haskell（8 个）
按分类缩小范围
daml
综合 63
Daml 是一门针对分布式账本（区块链）的智能合约开发语言。它主要解决多方协作中的隐私保护和业务逻辑编写难题，核心功能包括基于“隐私设计”的权限控制、跨账本的工作流自动化，并提供完整的 SDK 工具链供开发者编写与运行智能合约。
echidna
综合 60
〔中文简介暂未生成〕 Ethereum smart contract fuzzer
hledger
综合 60
hledger 是一款用 Haskell 编写的纯文本复式记账工具，解决财务及时间记录难以版本化和跨平台管理的问题。它以纯文本格式存储数据，支持多币种、投资与发票追踪；提供 CLI、TUI 和 Web 界面，兼具极速处理性能与精准报表生成能力。
cachix
综合 54
〔中文简介暂未生成〕 Command line client for Nix binary cache hosting:
tamarin-prover
综合 51
〔中文简介暂未生成〕 Main source code repository of the Tamarin prover for security protocol verification.
simplexmq
综合 50
SimpleXMQ 是基于 Haskell 开发的单向（simplex）消息代理，解决了在公共网络中安全、隐私地管理消息队列与传输的问题。其核心功能包括提供 SMP 服务端、客户端库及代理，支持基于 TLS 指纹防劫持的通信、内存存储结合追加日志持久化，并通过组合多个单向队列实现全双工连接。
fossa-cli
综合 49
fossa-cli 是一款开箱即用的跨语言依赖分析工具，解决项目中第三方组件难以盘点和排查的问题。它支持 20 多种构建系统，能自动检测代码库依赖，并结合 FOSSA 平台提供开源许可证合规扫描、安全漏洞排查及归属报告生成。
haskoin-core
综合 46
haskoin-core 是一个面向 Haskell 开发者的比特币与比特现金核心基础库。它解决了在不绑定网络和存储的前提下，纯逻辑处理链上数据的问题。核心功能涵盖密钥与助记词派生、地址与脚本解析、交易构建与签名（含 SegWit 与 Taproot）、PSBT、区块头验证及 P2P 消息编解码。