Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A Dependently Typed Functional Programming Language

Haskell to JavaScript compiler, based on GHC

A proper subset of Haskell that compiles to JavaScript

Liquid Types For Haskell

A monadic parser combinator library

Automatic testing of Haskell programs.

Release with confidence, state-of-the-art property testing for Haskell.

Modern and extensible testing framework for Haskell

The github API for Haskell

Type inference and checking for a safer JavaScript.

A programming language that runs in Haskell's type system.

Website for hosting and searching PureScript API documentation

Haskell library: ECMAScript parser, pretty-printer and additional tools

A compiler from Purescript to Python

an implementation of the not-so-famous chase algorithm, plus a first order logic parser

Turing Tarpit based on pattern matching. Entry into PLT Games #1 ("Into the Turing Tarpit").

solutions to project euler problems

👭 Shamir's Secret Sharing Scheme