Tools for formal reasoning, written in Haskell.

"We introduce a modular toolkit for constructing probability monads, and show that it can be used for everything from discrete distributions to weighted particle filtering."

Convinced me of its greatness with the first sentence I read: "If you're the sort of horrible person who doesn't read introductions to things and you skipped it, [...]"

A dual n-back memory game based on the recent research paper that claims fluid intelligence can be improved by training working memory. Written in Haskell.

Monads are used in functional programming to express input/output (I/O) operations and changes in state without using language features that introduce side effects.