GitHub repository: tromp/AIT
Primary language: Haskell
Description: Algorithmic Information Theory, using Binary Lambda Calculus