Pandoc is a Haskell library for converting from one markup
format to another, and a command-line ...
Latest release 2.5 -
- 18.1K stars
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.6.0 -
- 833 stars
API docs and the README are available at http://www.stackage.org/package/wai-app-static.
Latest release 22.214.171.124 -
- 557 stars
Think of this as a more powerful alternative to the time
command. Use this command-line tool to ...
Latest release 1.0.12 -
- 436 stars
The goals of ShellCheck are:
To point out and clarify typical beginner's syntax issues,
Latest release 0.6.0 -
- 18.4K stars
Reads the schema of a PostgreSQL database and creates RESTful routes
for the tables and views, su...
Latest release 5.1.0 -
- 11.2K stars
A small strongly, statically typed programming language with expressive types, inspired by Haskel...
Latest release 0.12.2 -
- 6.22K stars
Please see the documentation at https://docs.haskellstack.org
for usage information.
Latest release 126.96.36.199 -
- 3.14K stars
Hakyll is a static website compiler library. It provides you with the tools to
create a simple or...
Latest release 188.8.131.52 -
- 1.88K stars
A family of combinators for defining webservices APIs and serving them
You can learn about the b...
Latest release 0.15 -
- 1.1K stars
Agda is a dependently typed functional programming language: It has
inductive families, which are...
Latest release 184.108.40.206 -
- 1.03K stars
HLint gives suggestions on how to improve your source code.
Latest release 2.1.12 -
- 702 stars
This library provides a powerful but simple way to measure software
performance. It provides bot...
Latest release 220.127.116.11 -
- 367 stars
Taffybar is a gtk+3 (through gi-gtk) based desktop information bar, intended
primarily for use wi...
Latest release 3.1.1 -
- 357 stars
C->Haskell assists in the development of Haskell bindings to C
libraries. It extracts interface i...
Latest release 0.28.6 -
- 137 stars
Elm aims to make client-side web-development pleasant. It is a
statically/strongly typed, functio...
Latest release 0.15 -
- 5.55K stars
Idris is a general purpose language with full dependent types.
It is compiled, with eager evaluat...
Latest release 1.3.1 -
- 3.07K stars
A smarter Dockerfile linter that helps you build best practice Docker images.
Latest release 1.15.0 -
- 1.27K stars
Fay is a proper subset of Haskell which is type-checked
Latest release 0.24.0.1 -
- 1.17K stars
For package maintainers and hackage trustees
Complete interactive development program for Ha...
Latest release 0.1.38 -
- 918 stars
Clash is a functional hardware description language that borrows both its
syntax and semantics fr...
Latest release 0.99.3 -
- 728 stars
ghc-mod is a backend program to enrich Haskell programming in editors. It
strives to offer most o...
Latest release 18.104.22.168 -
- 634 stars
Shake is a Haskell library for writing build systems - designed as a
replacement for make. See De...
Latest release 0.17.4 -
- 584 stars
Structured editing Emacs mode for Haskell.
Latest release 1.1.0 -
- 482 stars
Either "GHCi as a daemon" or "GHC + a bit of an IDE". A very simple Haskell development tool whic...
Latest release 0.7.1 -
- 469 stars
This is a terminal client for the Mattermost chat
system. Please see the README for a list of
Latest release 50200.1.1 -
- 435 stars
Extensible Haskell pretty printer. Both a library and an executable.
See the Github page for usa...
Latest release 5.2.7 -
- 384 stars
Hoogle is a Haskell API search engine, which allows you to
search many standard Haskell libraries...
Latest release 22.214.171.124 -
- 355 stars
A set of program to test and debug various aspect of the TLS package.
Latest release 0.4.5 -
- 317 stars
vty is terminal GUI library in the niche of ncurses. It is intended to
be easy to use, have no co...
Latest release 5.25 -
- 202 stars