Miscellaneous articles. The readme is the table of contents.

A statically typed concatenative systems programming language.

Embedded language for high-performance array computations

Functional programming with fewer indirections

Automatic testing of Haskell programs.

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

Haskell shell scripting

Parsing all context-free grammars using Earley's algorithm in Haskell.

A simple expressions language with polymorphic extensible row types.

Equational laws for free

A language experiment -- irc.freenode.net ##coda

Typed frontend to TensorFlow and higher-order deep learning

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

A hip inductive theorem prover!

Tiny type-checker with dependent types

Bringing VIM philosophy to window management

A Haskell package that provides a monad transformer for mocking mtl-style typeclasses

Tools for working with derived Show instances in Haskell.

An equational theorem prover based on Knuth-Bendix completion

Get those pesky braces out of your face

XMonad Layout

Provides free functors that are adjoint to functors that forget class constraints.

being a thing I build on a Saturday

Simplified interface to the GHC API

Paradox model finder and equinox theorem prover for first-order logic.

Thick strings optimised for indexing and updating using UTF-16 code units and row/column pairs

Markup language on top of Haskell