Parsing, analyzing, and comparing source code across many languages

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

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Functional Programming Course

A modern proof language

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

🇪🇺 Wire back-end services

💥💻💥 A data-parallel functional programming language

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

🍜 A tasty Haskell web framework

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

lamdu - towards the next generation IDE

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

Homomorphic machine learning

Research language for array processing in the Haskell/ML family

Haskell to VHDL/Verilog/SystemVerilog compiler

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

Haskell 101 and 102: slides and codelabs

Miscellaneous articles. The readme is the table of contents.

A proper subset of Haskell that compiles to JavaScript

Educational computer programming environment using Haskell

Cryptol: The Language of Cryptography

Tensors and neural networks in Haskell

Haskell library for building declarative animations based on SVG graphics

A statically typed concatenative systems programming language.

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

♊ higher-order, no-boilerplate monads

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