1 - 30 of 2.85K libraries
Pandoc is a Haskell library for converting from one markup
format to another, and a command-line ...
Latest release 2.1.1 -
- 10.9K stars
The goals of ShellCheck are:
To point out and clarify typical beginner's syntax issues,
Latest release 0.4.7 -
- 10.1K stars
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.5.0 -
- 671 stars
Think of this as a more powerful alternative to the time
command. Use this command-line tool to ...
Latest release 1.0.8 -
- 398 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.4K stars
A small strongly, statically typed programming language with expressive types, inspired by Haskel...
Latest release 0.11.7 -
- 4.46K stars
Please see the README.md for usage information, and the wiki on Github for more details. Also, n...
Latest release 126.96.36.199 -
- 2.58K stars
Idris is a general purpose language with full dependent types.
It is compiled, with eager evaluat...
Latest release 1.2.0 -
- 2.29K 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.7K stars
For package maintainers and hackage trustees
Complete interactive development program for Ha...
Latest release 0.1.28 -
- 745 stars
Cgrep: a context-aware grep for source codes
Latest release 6.6.22 -
- 651 stars
A math-inspired programmatic CAD library in haskell.
Build objects with constructive solid geomet...
Latest release 0.1.0 -
- 622 stars
ghc-mod is a backend program to enrich Haskell programming in editors. It
strives to offer most o...
Latest release 184.108.40.206 -
- 622 stars
HLint gives suggestions on how to improve your source code.
Latest release 2.1 -
- 568 stars
Shake is a Haskell library for writing build systems - designed as a
replacement for make. See De...
Latest release 0.16.2 -
- 437 stars
Structured editing Emacs mode for Haskell.
Latest release 1.1.0 -
- 427 stars
An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming languag...
Latest release 3.7.10 -
- 417 stars
Agda is a dependently typed functional programming language: It has
inductive families, which are...
Latest release 2.5.3 -
- 416 stars
This is a terminal client for the Mattermost chat
system. Please see the README for a list of
Latest release 40600.1.0 -
- 270 stars
The doctest program checks examples in source code comments. It is modeled
after doctest for Pyt...
Latest release 0.14.1 -
- 238 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 -
- 145 stars
High performance web server to handle static
files and CGI on WAI/warp.
Reverse proxy functionali...
Latest release 3.4.2 -
- 103 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.7 -
- 51 stars
utility to parse, show, validate, sign and produce X509 certificates and chain.
Latest release 1.6.4 -
- 46 stars
Elm aims to make client-side web-development pleasant. It is a
statically/strongly typed, functio...
Latest release 0.15 -
- 4.37K stars
Haxl is a library and EDSL for efficient scheduling of concurrent data
accesses with a concise ap...
Latest release 0.5.1.0 -
- 3.03K stars
IHaskell is a Haskell backend kernel for the IPython project. This allows using Haskell via
Latest release 0.9.0.2 -
- 1.63K stars
Gitit is a wiki backed by a git, darcs, or mercurial
filestore. Pages and uploaded files can be ...
Latest release 0.12.2.1 -
- 1.49K stars
This package provides a featureful compiler from Haskell to
Latest release 0.6.0.0 -
- 1.26K stars