ei-lang.Ei is currently just a lexer & part of a parser, but maybe one day it'll be an experimental programming language which aims to implement a simple form of dependent typing within a modern C-style language - who can say? It's also German for egg.