Pandoc is a Haskell library for converting from one markup
format to another, and a command-line ...
Latest release 2.2.1 -
- 11.6K stars
Think of this as a more powerful alternative to the time
command. Use this command-line tool to ...
Latest release 1.0.9 -
- 403 stars
The goals of ShellCheck are:
To point out and clarify typical beginner's syntax issues,
Latest release 0.4.7 -
- 10.8K stars
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.5.0 -
- 671 stars
HLint gives suggestions on how to improve your source code.
Latest release 2.1.5 -
- 617 stars
API docs and the README are available at http://www.stackage.org/package/wai-app-static.
Latest release 22.214.171.124 -
- 473 stars
This library provides a powerful but simple way to measure software
performance. It provides bot...
Latest release 126.96.36.199 -
- 335 stars
This is a terminal client for the Mattermost chat
system. Please see the README for a list of
Latest release 40901.0.0 -
- 334 stars
Reads the schema of a PostgreSQL database and creates RESTful routes
for the tables and views, su...
Latest release 0.4.4.0 -
- 10.7K stars
A small strongly, statically typed programming language with expressive types, inspired by Haskel...
Latest release 0.12.0 -
- 4.79K stars
Please see the README.md for usage information, and the wiki on Github for more details. Also, n...
Latest release 188.8.131.52 -
- 2.68K stars
Idris is a general purpose language with full dependent types.
It is compiled, with eager evaluat...
Latest release 1.2.0 -
- 2.37K stars
Hakyll is a static website compiler library. It provides you with the tools to
create a simple or...
Latest release 184.108.40.206 -
- 1.76K stars
A smarter Dockerfile linter that helps you build best practice Docker images.
Latest release 1.6.6 -
- 951 stars
For package maintainers and hackage trustees
Complete interactive development program for Ha...
Latest release 0.1.31 -
- 779 stars
Cgrep: a context-aware grep for source codes
Latest release 6.6.24 -
- 657 stars
A math-inspired programmatic CAD library in haskell.
Build objects with constructive solid geomet...
Latest release 0.2.0 -
- 646 stars
ghc-mod is a backend program to enrich Haskell programming in editors. It
strives to offer most o...
Latest release 220.127.116.11 -
- 629 stars
Agda is a dependently typed functional programming language: It has
inductive families, which are...
Latest release 2.5.3 -
- 459 stars
Shake is a Haskell library for writing build systems - designed as a
replacement for make. See De...
Latest release 0.16.4 -
- 453 stars
Structured editing Emacs mode for Haskell.
Latest release 1.1.0 -
- 442 stars
An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming languag...
Latest release 3.7.10 -
- 417 stars
Hoogle is a Haskell API search engine, which allows you to
search many standard Haskell libraries...
Latest release 18.104.22.168 -
- 307 stars
Taffybar is a gtk+3 (through gtk2hs) based desktop information bar, intended
primarily for use wi...
Latest release 2.1.0 -
- 300 stars
The doctest program checks examples in source code comments. It is modeled
after doctest for Pyt...
Latest release 0.15.0 -
- 241 stars
vty is terminal GUI library in the niche of ncurses. It is intended to be easy to use, have no
Latest release 5.5.0 -
- 151 stars
High performance web server to handle static
files and CGI on WAI/warp.
Reverse proxy functionali...
Latest release 3.4.3 -
- 104 stars
This utility converts and sends Haskell projects hpc code coverage to
Latest release 1.0.10 -
- 53 stars
Parse language defined at http://code.google.com/apis/protocolbuffers/docs/proto.html and general...
Latest release 2.4.10 -
- 52 stars
utility to parse, show, validate, sign and produce X509 certificates and chain.
Latest release 1.6.4 -
- 46 stars