jgm / pandoc
Universal markup converter
See what the GitHub community is most excited about today.
Universal markup converter
REST API for any Postgres database
Dockerfile linter, validate inline bash, written in Haskell
ShellCheck, a static analysis tool for shell scripts
Liquid Types For Haskell
Cryptol: The Language of Cryptography
A friendly programming language from the future
The core component that is used to participate in a Cardano decentralised blockchain.
The ledger implementation and specifications of the Cardano blockchain.
Official upstream development repository for Cabal and cabal-install
SystemVerilog to Verilog conversion
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.