cryptol

cryptol

537 0,0,0,1,0,0,0,-1

Cryptol: The Language of Cryptography

pandoc

pandoc

8727 0,8,17,0,9,8,0,7

Universal markup converter

elm-compiler

elm-compiler

3828 0,0,5,5,0,5,8,1

Compiler for Elm, a functional language for reliable webapps.

stack

stack

2241 0,5,4,0,5,5,3,0

The Haskell Tool Stack

ghc

ghc

1517 0,1,0,1,0,4,0,1

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://pha

fay

fay

1132 0,0,0,0,0,-2,0,2

A proper subset of Haskell that compiles to JavaScript

cgrep

cgrep

645 0,0,0,0,0,0,-1,0

Cgrep: a context-aware grep for source codes

Haskell-Data-Analysis-Cookbook

Haskell-Data-Analysis-Cookbook

464 0,0,1,0,3,0,2,0

Accompanying Source Code for the Haskell Data Analysis Cookbook

elm-format

elm-format

469 0,0,3,0,11,2,1,3

elm-format formats Elm source code according to a standard set of rules based on the official Elm St

hlint

hlint

338 0,0,0,0,2,0,1,0

Haskell source code suggestions

helm

helm

481 0,0,0,1,0,0,-3,0

A functionally reactive game engine, with headgear to protect you from the headache of game developm

haskell-ide-engine

haskell-ide-engine

372 0,0,0,-1,0,1,0

The engine for haskell ide-integration. Not an IDE

purescript

purescript

3586 0,4,6,2,3,0,3,5

A small strongly typed language that compiles to Javascript

Haxl

Haxl

2696 0,2,0,0,2,0,14,1

A Haskell library that simplifies access to remote data, such as databases or web-based services.

yesod

yesod

1725 0,1,2,0,0,0,3

A RESTful Haskell web framework built on WAI.