Projects

• This website — The infrastructure behind this website. yes it's on AWS :^)
• Symbolic solver — Developed during my time under the mentorship (GSoC) of Alexander Demin and Shashi Gowda.