A static analysis tool for shell scripts
Maintainable configuration files
The universal markup converter
The first messaging platform operating without user identifiers
A terminal interface for Tetris
Pandoc filter for cross-references
Koka language compiler and interpreter
Ethereum smart contract fuzzer
Haskell to VHDL/Verilog/SystemVerilog compiler
REST API for any Postgres database
An advanced keyboard manager
The core component that is used to participate in a Cardano
Pattern language
A reference implementation of the SimpleX Messaging Protocol
A friendly programming language from the future
Fast, portable and reliable dependency analysis for any codebase
The official formatter for Nix code
A programming language that understands what a web app is
A tasty Haskell front-end framework
Cryptol: The Language of Cryptography
Upstream development repository for Cabal and cabal-install
A feature-rich Unix terminal client for the Mattermost chat system
A data-parallel functional programming language
Bluespec Compiler (BSC)
Platform-independent library for basic file system operations