Hi! It's Kiarash :D

I am a computer science undergraduate student at the University of Toronto

I’m looking to collaborate on open-source projects and research projects on programming languages, formal methods/verification, and ML (Meta Language!) :0

Name		Name	Last commit message	Last commit date
Latest commit History 671 Commits
.github/workflows		.github/workflows
profile-3d-contrib		profile-3d-contrib
4-polytope.gif		4-polytope.gif
README.md		README.md
exekis_gif.gif		exekis_gif.gif