Bharathi Ramana Joshi

About

Hello! I am interested in programming languages. Stuff I've been upto recently (sorted by most recent):

• Implementing a loop dependence analysis using MLIR's Presburger library.
• Designing and implementing metaKanren, a pure logic programming langauge. metaKanren was Implemented using miniKanren, which is also a pure logic programming.

You can reach me at joshibharathiramana@gmail.com

I work as a backend engineer at my day job (see my resume).

Misc

• My blog, where I mostly share what I've been learning recently.

• GitHub