Universal markup converter

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

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…

lamdu - towards the next generation IDE

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

The Haskell-Scriptable Editor

Very low feature GHCi based IDE

Learn Haskell, with tiny lessons.

A toy programming language with time travel

small-but-featureful embeddable lisp interpreter written in haskell.

Higher Order Prolog with Extensional Semantics

Constraint Handling Rules