Explore projects

This is the official repository for Graphics 317. It contains the framework and description. Submission is via CATE.

3D Perception and human-in-the-loop motion planning for obstacle avoidance in ENHANCE setup.

Written in C, this is a tiny compiler for a miniscule Haskell subset (essentially, Int -> Int functions) to Dafny translator. So many C tools (Yacc, Lex, my datadec, generic modules etc) used, only about 20% of the code is human-written.