Eashan Hatti

I'm a student primarily interested in programming languages and type theory.

Check out these projects of mine:

Konna - A functional programming language based on two-level type theory (2LTT) for high performance. Konna is no longer being worked on - Peridot is its direct successor.

Peridot - Also a programming language based on 2LTT. This one is a functional/logic language where domain specific optimizers and compilers can be expressed using metaprogramming.