pandoc
Pandoc is a Haskell library for converting from one markup format to another, and a command-line ...
Latest release 2.2.3.2 - Updated - 12.5K stars
cryptol
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.6.0 - Updated - 712 stars
Agda
Agda is a dependently typed functional programming language: It has inductive families, which are...
Latest release 2.5.4.1 - Updated - 517 stars
bench
Think of this as a more powerful alternative to the time command. Use this command-line tool to ...
Latest release 1.0.11 - Updated - 430 stars
ShellCheck
The goals of ShellCheck are: To point out and clarify typical beginner's syntax issues, that cau...
Latest release 0.5.0 - Updated - 11.3K stars
hlint
HLint gives suggestions on how to improve your source code.
Latest release 2.1.9 - Updated - 657 stars
clash-ghc
CλaSH (pronounced ‘clash’) is a functional hardware description language that borrows both its sy...
Latest release 0.99.3 - Updated - 549 stars
wai-app-static
API docs and the README are available at http://www.stackage.org/package/wai-app-static.
Latest release 3.1.6.2 - Updated - 490 stars
criterion
This library provides a powerful but simple way to measure software performance. It provides bot...
Latest release 1.5.1.0 - Updated - 354 stars
matterhorn
This is a terminal client for the Mattermost chat system. Please see the README for a list of fea...
Latest release 40901.0.0 - Updated - 334 stars
c2hs
C->Haskell assists in the development of Haskell bindings to C libraries. It extracts interface i...
Latest release 0.28.5 - Updated - 124 stars
postgrest
Reads the schema of a PostgreSQL database and creates RESTful routes for the tables and views, su...
Latest release 0.4.4.0 - Updated - 10.7K stars
purescript
A small strongly, statically typed programming language with expressive types, inspired by Haskel...
Latest release 0.12.0 - Updated - 4.99K stars
stack
Please see the README.md for usage information, and the wiki on Github for more details. Also, n...
Latest release 1.6.3.1 - Updated - 2.68K stars
idris
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluat...
Latest release 1.3.0 - Updated - 2.43K stars
hakyll
Hakyll is a static website compiler library. It provides you with the tools to create a simple or...
Latest release 4.12.3.0 - Updated - 1.78K stars
hadolint
A smarter Dockerfile linter that helps you build best practice Docker images.
Latest release 1.11.0 - Updated - 1.11K stars
servant-server
A family of combinators for defining webservices APIs and serving them You can learn about the b...
Latest release 0.14.1 - Updated - 989 stars
intero
For package maintainers and hackage trustees Complete interactive development program for Ha...
Latest release 0.1.32 - Updated - 815 stars
cgrep
Cgrep: a context-aware grep for source codes
Latest release 6.6.24 - Updated - 657 stars
implicit
A math-inspired programmatic CAD library in haskell. Build objects with constructive solid geomet...
Latest release 0.2.0 - Updated - 646 stars
ghc-mod
ghc-mod is a backend program to enrich Haskell programming in editors. It strives to offer most o...
Latest release 5.8.0.0 - Updated - 629 stars
egison
An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming languag...
Latest release 3.7.12 - Updated - 532 stars
shake
Shake is a Haskell library for writing build systems - designed as a replacement for make. See De...
Latest release 0.16.4 - Updated - 453 stars
structured-haskell-mode
Structured editing Emacs mode for Haskell.
Latest release 1.1.0 - Updated - 442 stars
taffybar
Taffybar is a gtk+3 (through gtk2hs) based desktop information bar, intended primarily for use wi...
Latest release 3.0.0 - Updated - 325 stars
hoogle
Hoogle is a Haskell API search engine, which allows you to search many standard Haskell libraries...
Latest release 5.0.17.3 - Updated - 307 stars
doctest
The doctest program checks examples in source code comments. It is modeled after doctest for Pyt...
Latest release 0.16.0 - Updated - 245 stars
vty-examples
vty is terminal GUI library in the niche of ncurses. It is intended to be easy to use, have no c...
Latest release 5.5.0 - Updated - 162 stars
vty
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 - Updated - 162 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search