isaacv-pl
Doctoral Candidate in CS at the University of Minnesota. Research interests: HoTT, Verification, Philosophy (Logic, Phenomenology, German Idealism), Theology
Pinned Repositories
CodeLads
Google Docs for Coding!
Advanced-Scientific-Computing
Projects made in C++ that are designed for science
notes
Notes made in org-mode for the classes that I am taking at Princeton University
.doom.d
old doom directory
Advanced-Lane-Line-Detection
AdvancedScientificComputing
Projects made in Brookhaven National Laboratory
agdathesis
first-contributions
🚀✨ Help beginners to contribute to open source projects
heroku-pinger
Ping heroku dynos to keep them awake.
isaacv-pl.github.io
isaacv-pl's Repositories
isaacv-pl/CodeLads
Google Docs for Coding!
isaacv-pl/yjs_save
Codemirror sample demo; Nothing important here
isaacv-pl/isaacv-pl.github.io
isaacv-pl/.doom.d
old doom directory
isaacv-pl/agdathesis
isaacv-pl/first-contributions
🚀✨ Help beginners to contribute to open source projects
isaacv-pl/heroku-pinger
Ping heroku dynos to keep them awake.
isaacv-pl/sharedb
Realtime database backend based on Operational Transformation (OT)
isaacv-pl/Advanced-Scientific-Computing
Projects made in C++ that are designed for science
isaacv-pl/notes
Notes made in org-mode for the classes that I am taking at Princeton University
isaacv-pl/AdvancedScientificComputing
Projects made in Brookhaven National Laboratory
isaacv-pl/PyVM
A virtual machine written in Python that executes raw x86 binaries according to the Intel Software Development Manual
isaacv-pl/Advanced-Lane-Line-Detection
isaacv-pl/python-simple-vm
A simple virtual machine w/constant folding implemented in Python