A static website compiler library in Haskell

Educational computer programming environment using Haskell

A DSL for deep neural networks, supporting Caffe and Torch

Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial

Library of categories, with categorical constructions on them

A classical propositional theorem prover in Haskell, using Wang's Algorithm.