Son HO's repositories
fstar-extended-mode
Advanced interactive mode for the F* theorem prover
CrowdEngine
A real-time 3D rendering engine implemented in C++ with Direct3D10
MayaExporter
A plugin for Autodesk Maya to export 3D models in a custom format
sonmarcho.github.io
My personal website