Pandoc is a Haskell library for converting from one markup
format to another, and a command-line ...
Latest release 126.96.36.199 -
- 12.5K stars
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.6.0 -
- 712 stars
Agda is a dependently typed functional programming language: It has
inductive families, which are...
Latest release 188.8.131.52 -
- 517 stars
Think of this as a more powerful alternative to the time
command. Use this command-line tool to ...
Latest release 1.0.11 -
- 430 stars
The goals of ShellCheck are:
To point out and clarify typical beginner's syntax issues,
Latest release 0.5.0 -
- 11.3K stars
HLint gives suggestions on how to improve your source code.
Latest release 2.1.9 -
- 657 stars
CλaSH (pronounced ‘clash’) is a functional hardware description language that
borrows both its sy...
Latest release 0.99.3 -
- 549 stars
API docs and the README are available at http://www.stackage.org/package/wai-app-static.
Latest release 184.108.40.206 -
- 490 stars
This library provides a powerful but simple way to measure software
performance. It provides bot...
Latest release 220.127.116.11 -
- 354 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
C->Haskell assists in the development of Haskell bindings to C
libraries. It extracts interface i...
Latest release 0.28.5 -
- 124 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.99K stars
Please see the README.md for usage information, and the wiki on Github for more details. Also, n...
Latest release 18.104.22.168 -
- 2.68K stars
Idris is a general purpose language with full dependent types.
It is compiled, with eager evaluat...
Latest release 1.3.0 -
- 2.43K stars
Hakyll is a static website compiler library. It provides you with the tools to
create a simple or...
Latest release 22.214.171.124 -
- 1.78K stars
A smarter Dockerfile linter that helps you build best practice Docker images.
Latest release 1.11.0 -
- 1.11K stars
A family of combinators for defining webservices APIs and serving them
You can learn about the b...
Latest release 0.14.1 -
- 989 stars
For package maintainers and hackage trustees
Complete interactive development program for Ha...
Latest release 0.1.32 -
- 815 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 126.96.36.199 -
- 629 stars
An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming languag...
Latest release 3.7.12 -
- 532 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
Taffybar is a gtk+3 (through gtk2hs) based desktop information bar, intended
primarily for use wi...
Latest release 3.0.0 -
- 325 stars
Hoogle is a Haskell API search engine, which allows you to
search many standard Haskell libraries...
Latest release 188.8.131.52 -
- 307 stars
The doctest program checks examples in source code comments. It is modeled
after doctest for Pyt...
Latest release 0.16.0 -
- 245 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 -
- 162 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.23.1 -
- 162 stars