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
Haskell to VHDL/Verilog/SystemVerilog compiler
REST API for any Postgres database
An advanced keyboard manager
Fast, portable and reliable dependency analysis for any codebase
A reference implementation of the SimpleX Messaging Protocol
A friendly programming language from the future
Pandoc filter for cross-references
A programming language that understands what a web app is
The core component that is used to participate in a Cardano
Cryptol: The Language of Cryptography
Upstream development repository for Cabal and cabal-install
A tasty Haskell front-end framework
Robust, fast, intuitive plain text accounting tool with CLI
Koka language compiler and interpreter
A data-parallel functional programming language
Bluespec Compiler (BSC)
Pattern language
Platform-independent library for basic file system operations
HStreamDB is an open-source, cloud-native streaming database
Blazing fast, instant realtime GraphQL APIs on your DB