pandoc
Pandoc is a Haskell library for converting from one markup format to another, and a command-line ...
Latest release 2.5 - Updated - 15.3K stars
ShellCheck
The goals of ShellCheck are: To point out and clarify typical beginner's syntax issues, that cau...
Latest release 0.6.0 - Updated - 14.3K stars
stack
Please see the README.md for usage information, and the wiki on Github for more details. Also, n...
Latest release 1.9.1.1 - Updated - 3.06K stars
hakyll
Hakyll is a static website compiler library. It provides you with the tools to create a simple or...
Latest release 4.12.5.0 - Updated - 1.88K stars
cryptol
Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implemen...
Latest release 2.6.0 - Updated - 765 stars
hlint
HLint gives suggestions on how to improve your source code.
Latest release 2.1.12 - Updated - 702 stars
bench
Think of this as a more powerful alternative to the time command. Use this command-line tool to ...
Latest release 1.0.12 - Updated - 436 stars
criterion
This library provides a powerful but simple way to measure software performance. It provides bot...
Latest release 1.5.3.0 - Updated - 367 stars
postgrest
Reads the schema of a PostgreSQL database and creates RESTful routes for the tables and views, su...
Latest release 5.1.0 - Updated - 11.2K stars
purescript
A small strongly, statically typed programming language with expressive types, inspired by Haskel...
Latest release 0.12.2 - Updated - 5.42K stars
hadolint
A smarter Dockerfile linter that helps you build best practice Docker images.
Latest release 1.15.0 - Updated - 1.26K stars
Agda
Agda is a dependently typed functional programming language: It has inductive families, which are...
Latest release 2.5.4.2 - Updated - 665 stars
clash-ghc
CλaSH (pronounced ‘clash’) is a functional hardware description language that borrows both its sy...
Latest release 0.99.3 - Updated - 615 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 - 506 stars
matterhorn
This is a terminal client for the Mattermost chat system. Please see the README for a list of fea...
Latest release 50200.1.1 - Updated - 435 stars
taffybar
Taffybar is a gtk+3 (through gtk2hs) based desktop information bar, intended primarily for use wi...
Latest release 3.1.1 - Updated - 357 stars
hoogle
Hoogle is a Haskell API search engine, which allows you to search many standard Haskell libraries...
Latest release 5.0.17.4 - Updated - 352 stars
c2hs
C->Haskell assists in the development of Haskell bindings to C libraries. It extracts interface i...
Latest release 0.28.6 - Updated - 137 stars
pretty-show
We provide a library and an executable for working with derived Show instances. By using the libr...
Latest release 1.9.5 - Updated - 38 stars
elm-compiler
Elm aims to make client-side web-development pleasant. It is a statically/strongly typed, functio...
Latest release 0.15 - Updated - 5.19K stars
idris
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluat...
Latest release 1.3.1 - Updated - 2.66K stars
fay
Fay is a proper subset of Haskell which is type-checked with GHC, and compiled to JavaScript. It ...
Latest release 0.24.0.1 - Updated - 1.17K stars
servant-server
A family of combinators for defining webservices APIs and serving them You can learn about the b...
Latest release 0.15 - Updated - 1.1K stars
intero
For package maintainers and hackage trustees Complete interactive development program for Ha...
Latest release 0.1.38 - Updated - 918 stars
toodles
Toodles scrapes your entire repository for TODO entries and organizes them so you can manage your...
Latest release 1.0.2 - Updated - 788 stars
cgrep
Cgrep: a context-aware grep for source codes
Latest release 6.6.25 - 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 - 634 stars
egison
An interpreter for Egison, a **pattern-matching-oriented**, purely functional programming languag...
Latest release 3.7.14 - Updated - 588 stars
shake
Shake is a Haskell library for writing build systems - designed as a replacement for make. See De...
Latest release 0.17.4 - Updated - 506 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search