pandoc
Pandoc is a Haskell library for converting from one markup format to another, and a command-line ...
Latest release 2.14.0.2 - Updated - 22.7K stars
stack
Please see the documentation at https://docs.haskellstack.org for usage information. If building...
Latest release 2.5.1.1 - Updated - 3.54K stars
cryptol
Cryptol: The Language of Cryptography
Latest release 2.11.0 - Updated - 942 stars
ShellCheck
The goals of ShellCheck are: To point out and clarify typical beginner's syntax issues, that cau...
Latest release 0.7.2 - Updated - 25K stars
hadolint
A smarter Dockerfile linter that helps you build best practice Docker images.
Latest release 2.5.0 - Updated - 5.45K stars
hakyll
A static website compiler library in Haskell
Latest release 4.14.0.0 - Updated - 2.3K stars
Agda
Agda is a dependently typed functional programming language: It has inductive families, which are...
Latest release 2.6.1.3 - Updated - 1.45K stars
hlint
HLint gives suggestions on how to improve your source code.
Latest release 3.3.1 - Updated - 1.15K stars
clash-ghc
Clash is a functional hardware description language that borrows both its syntax and semantics fr...
Latest release 1.4.2 - Updated - 983 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 - 694 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
postgrest
Reads the schema of a PostgreSQL database and creates RESTful routes for the tables and views, su...
Latest release 5.1.0 - Updated - 15.7K stars
purescript
A small strongly, statically typed programming language with expressive types, inspired by Haskel...
Latest release 0.14.2 - Updated - 7.17K stars
duckling
Duckling is a library for parsing text into structured data.
Latest release 0.2.0.0 - Updated - 3.3K stars
idris
Idris is a general purpose language with full dependent types. It is compiled, with eager evaluat...
Latest release 1.3.1 - Updated - 3.22K 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.45K stars
aura
Aura is a package manager for Arch Linux. It connects to both the official Arch repostitories and...
Latest release 3.2.5 - Updated - 1.05K stars
matterhorn
This is a terminal client for the Mattermost chat system. Please see the README for a list of fea...
Latest release 50200.13.0 - Updated - 826 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 - 691 stars
greenclip
Simple clipboard manager to be integrated with rofi - Please see README.md
Latest release 4.1.0 - Updated - 669 stars
taffybar
Taffybar is a gtk+3 (through gi-gtk) based desktop information bar, intended primarily for use wi...
Latest release 3.2.5 - Updated - 513 stars
hindent
Extensible Haskell pretty printer. Both a library and an executable. See the Github page for usa...
Latest release 5.3.2 - Updated - 504 stars
criterion
This library provides a powerful but simple way to measure software performance. It provides bot...
Latest release 1.5.3.0 - Updated - 449 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.33 - Updated - 237 stars
c2hs
C->Haskell assists in the development of Haskell bindings to C libraries. It extracts interface i...
Latest release 0.28.8 - Updated - 173 stars
zip
Operations on zip archives.
Latest release 1.7.1 - Updated - 71 stars
elm-compiler
Elm aims to make client-side web-development pleasant. It is a statically/strongly typed, functio...
Latest release 0.15 - Updated - 6.44K stars
ihaskell
A Haskell kernel for IPython.
Latest release 0.10.2.0 - Updated - 2.25K stars
ghcide
A library for building Haskell IDE's on top of the GHC API.
Latest release 1.4.0.1 - Updated - 1.57K 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
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search