A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

The Haskell Tool Stack

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

A Dependently Typed Functional Programming Language

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

Linux VR Desktop

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

Terminal-based presentations using Pandoc

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

🍜 A tasty Haskell web framework

The engine for haskell ide-integration. Not an IDE

C to Rust translator

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

A declarative Unix terminal UI library written in Haskell

Miscellaneous articles. The readme is the table of contents.

Liquid Types For Haskell

Very low feature GHCi based IDE

Huge list of videos, talks, courses for Haskell programming language.

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

Haskell code prettifier

A programming language with static memory management based on λ-calculus

Detexify Backend written in Haskell

Resource gathering + programming game

Functional programming with fewer indirections

Minimal implementations for dependent type checking and elaboration

Algebraic graphs

a small .pdf management tool with a command-line UI

Haskell implemented with combinators