ShellCheck, a static analysis tool for shell scripts

Compiler for Elm, a functional language for reliable webapps.

A Dependently Typed Functional Programming Language

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

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

Haskell Programming From First Principles - Follow-up Resources

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

Domain-Specific Languages of Mathematics

A full implementation of the Scheme programming language for the Haskell Platform.

The Ermine Programming Language - Join us on irc.freenode.net #ermine

Repository for collaborative Haskell documentation

My sandbox for experimenting with solver algorithms.

Notes on space leaks

Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.

🔦 [Deprecated] Transpile Kotlin codes into Dart, Make Flutter Great Again

Haskell implementations of various ML algorithms.

A simple Depdently-Typed Language for Research and Learning

Sort any Traversable container

Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/

Knowledge of classical mechanics, written in haskell.

FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers