Haskell

A universal document format converter that supports conversion between over 50 markup languages.

A GPLv3 static analysis tool for shell scripts that provides warnings and suggestions for bash/sh scripts, helping identify syntax issues, semantic problems, and potential pitfalls.

A tool that turns any existing PostgreSQL database into a RESTful API, providing a cleaner, more standards-compliant, and faster API with authentication and OpenAPI documentation.

A decentralized messaging network and cross-platform app that operates without any user identifiers, designed for 100% privacy.

A smarter Dockerfile linter that parses Dockerfiles into an AST and applies best-practice rules, while integrating ShellCheck to validate Bash code inside RUN instructions.

Elm is a pure functional frontend language that compiles to JavaScript, offering a strong type system with zero runtime errors, excellent compiler error messages, and a built-in time-travel debugger.

A robust, fast, and intuitive plain text accounting tool with CLI, TUI, and web interfaces.

The Haskell Tool Stack, a program for developing Haskell projects aimed at both new and experienced users, with full support on Linux, macOS, and Windows.

The core node component for participating in the Cardano decentralized blockchain, integrating the ledger, consensus, and networking layers.

A dependently typed programming language and interactive theorem prover, supporting formal verification and program development.

The official Language Server Protocol (LSP) implementation for Haskell, providing IDE-level code completion, diagnostics, go-to-definition, and other support for Haskell development.

An open-source observability platform that stores logs, traces, and metrics in S3-compatible storage, supporting natural language queries and AI agents for anomaly detection with live tail and unified views.

The official upstream development repository for Cabal and cabal-install, containing the Cabal library, the `.cabal` file format library, and the cabal CLI tool — the core build and package management infrastructure for the Haskell ecosystem.

The implementation and tools for the Plutus language, the smart contract language embedded in the Cardano ledger, providing a platform for developing distributed applications on the Cardano blockchain.

A functional hardware description language compiler that transforms Haskell descriptions into synthesizable VHDL, Verilog, or SystemVerilog.

A zero-configuration polyglot dependency analysis tool supporting 20+ build systems, automatically detecting project dependencies with license scanning, vulnerability scanning, and attribution report generation.

A declarative language for writing smart contracts, designed for multi-party business processes.

An HTTP server and command-line tool developed by the Cardano Foundation for managing UTxOs and HD wallets on the Cardano blockchain.

A toolkit for converting and building songs for Rock Band, Guitar Hero, Clone Hero, and other similar rhythm games.