jgm / pandoc
Universal markup converter
See what the GitHub community is most excited about today.
Universal markup converter
ShellCheck, a static analysis tool for shell scripts
REST API for any Postgres database
Lightweight and composable servers for Haskell
The fastest way to develop full-stack web apps with React & Node.js.
Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.
Dockerfile linter, validate inline bash, written in Haskell
A statically typed lisp, without a GC, for real-time applications.
Horn Clause Constraint Solving for Liquid Types
Liquid Types For Haskell
Easy dependency management for Nix projects
Official upstream development repository for Cabal and cabal-install
ivy - a simple image viewer written in Haskell
SimpleX - the first messaging platform operating without user identifiers of any kind - 100% private by design! iOS and Android apps are released
The core component that is used to participate in a Cardano decentralised blockchain.
This is scrive's common collection of function import we use the most.
Some latency benchmarks
The symbolic execution engine powering the K Framework