Universal markup converter

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 friendly programming language from the future

A statically typed lisp, without a GC, for real-time applications.

Functional Programming Course

A modern proof language

A Dependently Typed Functional Programming Language

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Linux VR Desktop

A static website compiler library in Haskell

Agda is a dependently typed programming language / interactive theorem prover.

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

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

A wiki using HAppS, pandoc, and git

lamdu - towards the next generation IDE

Homomorphic machine learning

Research language for array processing in the Haskell/ML family

A GHC-based Haskell to JavaScript compiler

Deep Learning in Haskell

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

Miscellaneous articles. The readme is the table of contents.

Liquid Types For Haskell

Educational computer programming environment using Haskell

Haskell library for building declarative animations based on SVG graphics

A feature-rich Unix terminal client for the Mattermost chat system

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Functional reactive web and mobile applications, with batteries included.