A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

Functional Programming Course

The Haskell Tool Stack

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.

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

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

What I Wish I Knew When Learning Haskell

🍜 A tasty Haskell web framework

The engine for haskell ide-integration. Not an IDE

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

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

A GHC-based Haskell to JavaScript compiler

A fast Haskell JSON library

A proper subset of Haskell that compiles to JavaScript

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

♊ higher-order, no-boilerplate monads

A streaming data library

A fast, flexible, fused effect system for Haskell

A little course to learn about some of the more obscure GHC extensions.

A multi-syntax functional programming language that compiles to WebAssembly.

Library for functional reactive programming in Haskell.

Web application for exploring and understanding Haskell codebases

Don't Fear the Profunctor Optics!

Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pur…

Type inference and checking for a safer JavaScript.

Slides from talks that I give