A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

An advanced keyboard manager

A Dependently Typed Functional Programming Language

The Eta Programming Language, a dialect of Haskell on the JVM

Minimal implementations for dependent type checking and elaboration

Hydra is a full-fledged framework for building web services, multithreaded and concurrent applications with SQL and KV DB support.

Haskell implementation of open games

Bioinformatics pipelines with Haskell and Shake

Haskell bindings to SymEngine

Extend GHC's type checker with user-defined rules, without writing a type checker plugin.

Lilla is a programming language written in haskell.

beyond refinement types + visualisation (supercedes predicate)

Haskell I18n package using Po files.

Implementation of Q*Bert in Haskell using Brick.