pandoc
Pandoc is a Haskell library for converting from one markup format to another, and a command-line ...
Latest release 2.1.1 - Updated - 10.9K stars
ShellCheck
The goals of ShellCheck are: To point out and clarify typical beginner's syntax issues, that cau...
Latest release 0.4.7 - Updated - 10.1K stars
cryptol
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.5.0 - Updated - 671 stars
bench
Think of this as a more powerful alternative to the time command. Use this command-line tool to ...
Latest release 1.0.8 - Updated - 398 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.4K stars
purescript
A small strongly, statically typed programming language with expressive types, inspired by Haskel...
Latest release 0.11.7 - Updated - 4.46K 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.58K stars
idris
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluat...
Latest release 1.2.0 - Updated - 2.29K stars
hakyll
Hakyll is a static website compiler library. It provides you with the tools to create a simple or...
Latest release 4.11.0.0 - Updated - 1.7K stars
intero
For package maintainers and hackage trustees Complete interactive development program for Ha...
Latest release 0.1.28 - Updated - 745 stars
cgrep
Cgrep: a context-aware grep for source codes
Latest release 6.6.22 - Updated - 651 stars
implicit
A math-inspired programmatic CAD library in haskell. Build objects with constructive solid geomet...
Latest release 0.1.0 - Updated - 622 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 - 622 stars
hlint
HLint gives suggestions on how to improve your source code.
Latest release 2.1 - Updated - 568 stars
shake
Shake is a Haskell library for writing build systems - designed as a replacement for make. See De...
Latest release 0.16.2 - Updated - 437 stars
structured-haskell-mode
Structured editing Emacs mode for Haskell.
Latest release 1.1.0 - Updated - 427 stars
egison
An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming languag...
Latest release 3.7.10 - Updated - 417 stars
Agda
Agda is a dependently typed functional programming language: It has inductive families, which are...
Latest release 2.5.3 - Updated - 416 stars
matterhorn
This is a terminal client for the Mattermost chat system. Please see the README for a list of fea...
Latest release 40600.1.0 - Updated - 270 stars
doctest
The doctest program checks examples in source code comments. It is modeled after doctest for Pyt...
Latest release 0.14.1 - Updated - 238 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 - 145 stars
mighttpd2
High performance web server to handle static files and CGI on WAI/warp. Reverse proxy functionali...
Latest release 3.4.2 - Updated - 103 stars
hpc-coveralls
This utility converts and sends Haskell projects hpc code coverage to coverall.io. Usage Below ...
Latest release 1.0.10 - Updated - 53 stars
hprotoc
Parse language defined at http://code.google.com/apis/protocolbuffers/docs/proto.html and general...
Latest release 2.4.7 - Updated - 51 stars
x509-util
utility to parse, show, validate, sign and produce X509 certificates and chain.
Latest release 1.6.4 - Updated - 46 stars
elm-compiler
Elm aims to make client-side web-development pleasant. It is a statically/strongly typed, functio...
Latest release 0.15 - Updated - 4.37K stars
haxl
Haxl is a library and EDSL for efficient scheduling of concurrent data accesses with a concise ap...
Latest release 0.5.1.0 - Updated - 3.03K stars
ihaskell
IHaskell is a Haskell backend kernel for the IPython project. This allows using Haskell via a con...
Latest release 0.9.0.2 - Updated - 1.63K stars
gitit
Gitit is a wiki backed by a git, darcs, or mercurial filestore. Pages and uploaded files can be ...
Latest release 0.12.2.1 - Updated - 1.49K stars
haste-compiler
This package provides a featureful compiler from Haskell to Javascript. It generates small, fast ...
Latest release 0.6.0.0 - Updated - 1.26K stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search