Pinned Repositories
AI-nstagram
aram-drafter
bioehs-courseguide
ignore-the-gitignore
oak-tales
qunity
topics-notes
uclid
UCLID5: formal modeling, verification, and synthesis of computational systems
potatoboiler's Repositories
potatoboiler/ignore-the-gitignore
potatoboiler/topics-notes
potatoboiler/cs61-sections
CS61 section material
potatoboiler/Compiler-written-in-Haskell
A Turing complete language 😉
potatoboiler/eecs126-sp22
potatoboiler/FractalSoot
potatoboiler/gitignore
A collection of useful .gitignore templates
potatoboiler/instagram-clone
Instagram Clone made with HTML, CSS and JS, for study purposes.
potatoboiler/internship-code
Code written (+ other files) for use in 2020-2021 BCA Senior Experience internship (under the Khalizov Research Group at NJIT).
potatoboiler/minisat
A minimalistic and high-performance SAT solver
potatoboiler/pitchfork
Pitchfork is a Set of C++ Project Conventions
potatoboiler/potatoboiler
potatoboiler/python-cropper-tk
GUI for cropping a large amount of images quickly.
potatoboiler/random-answers
potatoboiler/shardoverse
A Rougelike Peer-to-Peer Multi Player Dungeon Explorer Game written in Rust
potatoboiler/SLIDE
potatoboiler/sp21-6.824
potatoboiler/taskflow
A General-purpose Parallel and Heterogeneous Task Programming System