Aaryan Patel's repositories
IMP-Compiler
Imp compiler with a security type system for enforcing information flow control
Language:Java000
Language:CoqMIT000
Aaryan-Patel-2001.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScriptMIT000
Language:HTML000
Language:CMIT000
Language:Dafny000
Language:C000
Language:Java000
Language:Java000
Language:JavaScript000