GitHub repository: rigille/FormCoreJS
Primary language: JavaScript
Description: A minimal pure functional language based on self dependent types.