A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

Liquid Types For Haskell

A fast, flexible, fused effect system for Haskell

🚧 a work in progress effect system for Haskell 🚧

Template for Hindley-Milner based languages

Generate tests from examples in purescript docs