karaka
A Sanskrit programming language whose type system is Panini's karaka grammar - and whose own compiler is written in itself.