ShellCheck, a static analysis tool for shell scripts

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

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

🇪🇺 Wire back-end services

💥💻💥 A data-parallel functional programming language

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

What I Wish I Knew When Learning Haskell

Homomorphic machine learning

Miscellaneous articles. The readme is the table of contents.

Liquid Types For Haskell

♊ higher-order, no-boilerplate monads

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

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Project: M36 Relational Algebra Engine

Functional programming with fewer indirections

A fast, flexible, fused effect system for Haskell

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

An easy to use, cross platform, GUI library for writing Haskell applications.

Slides and other materials for functional programming lectures ITMO university

A library for building Haskell IDE tooling

Learn Haskell, with tiny lessons.

Comparing many FRP implementations by reimplementing the same toy app in each.

Functional Reactive Programming domain-specific language for efficient hybrid systems

An interpreter for learning and exploring pure λ-calculus

Don't Fear the Profunctor Optics!

🎮 NES Emulator written in Haskell

A formal logic framework that runs in the browser

🂺 A Multiplayer Poker App Crafted with Haskell and React

3️⃣ 🍰 Architecture of the Haskell web applications

optics for Haskell with the most amazing type errors you've seen