Heightmap Generator and Viewer School - Spring 2013
Generates a 2D heightmap in ACL2 and renders the 3D scene within a browser.
Developed as a team for our undergraduate capstone.
What I worked on
- Web viewer design and implementation
- ACL2 I/O Code
- Helped design out python interface between web frontend and ACL2 executable