ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

What I Wish I Knew When Learning Haskell

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

A statically typed concatenative systems programming language.

Course materials for Stanford CS240h, "Functional Systems in Haskell"

Exercism exercises in Haskell.

Fork of the original Data61 course to be more Stack friendly

Slides from talks that I give

Erlang Backend for Idris Compiler

Generate Erlang VM byte code from Haskell

Drill to study recursive programming in Haskell

A workspace for research teams