warp
HTTP/1.0, HTTP/1.1 and HTTP/2 are supported. For HTTP/2, Warp supports direct and ALPN (in TLS) ...
Latest release 3.2.17 - Updated - 463 stars
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
warp-tls
SSLv1 and SSLv2 are obsoleted by IETF. We should use TLS 1.2 (or TLS 1.1 or TLS 1.0 if necessary)...
Latest release 3.2.4.2 - Updated - 463 stars
HaTeX
This library implements the LaTeX syntax and provides some useful abstractions. Some of the thin...
Latest release 3.18.0.0 - Updated - 110 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
yesod-test
API docs and the README are available at http://www.stackage.org/package/yesod-test
Latest release 1.6.2 - Updated - 1.88K 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
lens
This package comes "Batteries Included" with many useful lenses for the types commonly used from ...
Latest release 4.16 - Updated - 1.24K stars
lens-properties
[Index] For package maintainers and hackage trustees
Latest release 4.11.1 - Updated - 1.24K stars
servant
A family of combinators for defining webservices APIs and serving them You can learn about the ...
Latest release 0.13 - Updated - 905 stars
Cabal
The Haskell Common Architecture for Building Applications and Libraries: a framework defining a c...
Latest release 2.0.1.1 - Updated - 801 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.23 - Updated - 651 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 - 624 stars
implicit
A math-inspired programmatic CAD library in haskell. Build objects with constructive solid geomet...
Latest release 0.1.0 - Updated - 622 stars
hlint
HLint gives suggestions on how to improve your source code.
Latest release 2.1 - Updated - 568 stars
conduit-extra
The conduit package itself maintains relative small dependencies. The purpose of this package is ...
Latest release 1.3.0 - Updated - 475 stars
conduit
conduit is a solution to the streaming data problem, allowing for production, transformation, and...
Latest release 1.3.0 - Updated - 475 stars
resourcet
Hackage documentation generation is not reliable. For up to date documentation, please see: http:...
Latest release 1.2.0 - Updated - 475 stars
wai-extra
Provides basic WAI handler and middleware functionality: WAI Testing Framework Hspec testing fa...
Latest release 3.0.22.0 - Updated - 463 stars
wai-handler-launch
API docs and the README are available at http://www.stackage.org/package/wai-handler-launch.
Latest release 3.0.2.3 - Updated - 463 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
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
rest-types
Silk Rest Framework Types
Latest release 1.14.1.1 - Updated - 374 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search