Name: Isaac Velasquez
Type: User
Bio: Doctoral Candidate in CS at the University of Minnesota. Research interests: HoTT, Verification, Philosophy (Logic, Phenomenology, German Idealism), Theology
Blog: isaacv-pl.github.io
Isaac Velasquez's Projects
old doom directory
Projects made in C++ that are designed for science
Projects made in Brookhaven National Laboratory
Google Docs for Coding!
🚀✨ Help beginners to contribute to open source projects
Ping heroku dynos to keep them awake.
Notes made in org-mode for the classes that I am taking at Princeton University
A simple virtual machine w/constant folding implemented in Python
A virtual machine written in Python that executes raw x86 binaries according to the Intel Software Development Manual
Realtime database backend based on Operational Transformation (OT)
Codemirror sample demo; Nothing important here