A simple language with dependent types written in Pseudo-Python (<=> implementations in Python, Ruby, Go, C#, JS) - View it on GitHub