GitHub repository: morganthomas/freecat
Primary language: Haskell
Description: A programming language based on the principles of freedom and category theory.