Haskell

一款通用的文档格式转换工具，支持超过 50 种标记语言之间的相互转换。

一款GPLv3许可的Shell脚本静态分析工具，为bash/sh脚本提供警告和建议，帮助发现语法问题、语义错误和潜在的陷阱。

一款将任何现有PostgreSQL数据库自动转换为RESTful API的工具，提供更干净、更符合标准、更快速的API，支持安全认证和OpenAPI文档生成。

一款去中心化、无任何用户标识符的即时通讯网络和跨平台应用，旨在提供100%隐私保护。

一个智能的Dockerfile Linter，通过将Dockerfile解析为AST并执行最佳实践规则，帮助构建更优质的Docker镜像，同时集成ShellCheck对RUN指令中的Bash代码进行静态检查。

Elm是一门编译为JavaScript的纯函数式前端编程语言，提供零运行时错误的强类型系统、卓越的编译器错误信息及内置的时间旅行调试器。

一款健壮、快速、直观的纯文本会计工具，提供CLI、TUI和Web界面。

Haskell 开发工具栈，面向新老 Haskell 开发者，在 Linux、macOS 和 Windows 上提供完整支持。

Cardano去中心化区块链的核心节点组件，集成了账本、共识和网络层，用于参与Cardano网络。

一个依赖类型编程语言和交互式定理证明器，支持形式化验证和程序开发。

Haskell语言服务器（LSP）的官方实现，为Haskell开发提供IDE级别的代码补全、诊断、跳转定义等支持。

一款开源的可观测性平台，将日志、追踪和指标存储在S3兼容存储中，支持自然语言查询和AI代理异常检测，提供实时日志流和统一视图。

Cabal与cabal-install的官方上游开发仓库，包含Cabal库、`.cabal`文件格式库以及cabal命令行工具，是Haskell生态的核心构建与包管理基础设施。

Plutus语言的实现与工具集，是Cardano账本中嵌入的智能合约语言，为在Cardano区块链上开发分布式应用提供平台。

一个函数式硬件描述语言编译器，将Haskell描述转换为可综合的VHDL、Verilog或SystemVerilog。

一个零配置的多语言依赖分析工具，支持20多种构建系统，可自动检测项目依赖，提供许可证扫描、漏洞扫描和归因报告生成。

一个用于编写智能合约的声明式语言，专为多方业务流程设计，确保各方按约定执行。

Cardano基金会开发的HTTP服务器和命令行工具，用于管理Cardano区块链上的UTxO和HD钱包。

一款为Rock Band、Guitar Hero、Clone Hero等节奏游戏转换和构建歌曲的工具包，提供歌曲构建流程的自动化支持。