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