Pandoc is a Haskell library for converting from one markup
format to another, and a command-line ...
Latest release 2.5 -
- 13.7K stars
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.6.0 -
- 744 stars
The goals of ShellCheck are:
To point out and clarify typical beginner's syntax issues,
Latest release 0.6.0 -
- 13K stars
Hakyll is a static website compiler library. It provides you with the tools to
create a simple or...
Latest release 220.127.116.11 -
- 1.88K stars
HLint gives suggestions on how to improve your source code.
Latest release 2.1.12 -
- 702 stars
Agda is a dependently typed functional programming language: It has
inductive families, which are...
Latest release 18.104.22.168 -
- 661 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
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 -
- 5.42K stars
A smarter Dockerfile linter that helps you build best practice Docker images.
Latest release 1.15.0 -
- 1.25K stars
CλaSH (pronounced ‘clash’) is a functional hardware description language that
borrows both its sy...
Latest release 0.99.3 -
- 615 stars
API docs and the README are available at http://www.stackage.org/package/wai-app-static.
Latest release 22.214.171.124 -
- 506 stars
This is a terminal client for the Mattermost chat
system. Please see the README for a list of
Latest release 50200.1.1 -
- 434 stars
This library provides a powerful but simple way to measure software
performance. It provides bot...
Latest release 126.96.36.199 -
- 367 stars
Taffybar is a gtk+3 (through gtk2hs) based desktop information bar, intended
primarily for use wi...
Latest release 3.1.1 -
- 357 stars
Hoogle is a Haskell API search engine, which allows you to
search many standard Haskell libraries...
Latest release 188.8.131.52 -
- 351 stars
C->Haskell assists in the development of Haskell bindings to C
libraries. It extracts interface i...
Latest release 0.28.6 -
- 137 stars
We provide a library and an executable for working with derived Show
instances. By using the libr...
Latest release 1.9.5 -
- 38 stars
Please see the README.md for usage information, and the wiki on Github for more details. Also, n...
Latest release 184.108.40.206 -
- 2.92K stars
Idris is a general purpose language with full dependent types.
It is compiled, with eager evaluat...
Latest release 1.3.1 -
- 2.66K 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
For package maintainers and hackage trustees
Complete interactive development program for Ha...
Latest release 0.1.38 -
- 918 stars
Cgrep: a context-aware grep for source codes
Latest release 6.6.25 -
- 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 -
- 634 stars
An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming languag...
Latest release 3.7.14 -
- 588 stars
Shake is a Haskell library for writing build systems - designed as a
replacement for make. See De...
Latest release 0.17.4 -
- 506 stars
Structured editing Emacs mode for Haskell.
Latest release 1.1.0 -
- 445 stars
The doctest program checks examples in source code comments. It is modeled
after doctest for Pyt...
Latest release 0.16.0.1 -
- 251 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 -
- 168 stars