Home / Projects / Heightmap Generator and Viewer
A generated heightmap being shown
A generated heightmap being shown

Heightmap Generator and Viewer School - Spring 2013

Frontend (without backend)

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

JavaScript/HTML/CSSACL2Python
    * Web viewer design and implementation * ACL2 I/O Code * Helped design out python interface between web frontend and ACL2 executable