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

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

Functional Programming Course

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

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

A RESTful Haskell web framework built on WAI.

What I Wish I Knew When Learning Haskell

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

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

lamdu - towards the next generation IDE

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Deep Learning in Haskell

Miscellaneous articles. The readme is the table of contents.

Liquid Types For Haskell

Very low feature GHCi based IDE

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

Haskell LLVM JIT Compiler Tutorial

Functional reactive web and mobile applications, with batteries included.

Haskell IDE

Project: M36 Relational Algebra Engine

Emanate a structured view of your plain-text notes

Espial is an open-source, web-based bookmarking server.

A stream-based runtime-verification framework for generating hard real-time C code.

Cgrep: a context-aware grep for source codes

Modern and extensible testing framework for Haskell