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