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

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

Easy dependency management for Nix projects

Research language for array processing in the Haskell/ML family

Liquid Types For Haskell

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

Interactively browse dependency graphs of Nix derivations.

Haskell implemented with combinators

Another Haskell web framework for rapid development

A prompt engineering functional programming language

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…

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

An experimental grammar fuzzer in Haskell using QuickCheck

Compiles Haskell to WebAssembly

visualize your iptables firewall

Haskell JOSE and JWT library

Cap'n Proto for Haskell

An independent reimplementation of Ethereum in Haskell

Monadic Javascript Compiler

Certificate and Key Reader/Writer in haskell

This repo has been merged into: https://github.com/music-suite/music-suite

Hindley-Milner type inference using constraints

Haskell Tox protocol implementation

Idris to Serpent back end for Ethereum smart contracts

Monte in Haskell

Data flow analysis for a subset of JavaScript

Haskell client for Plaid