Hello! I'm 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.