∑
Projects, notes,
and math experiments.
PROJECTS, NOTES & EXPERIMENTSNYC METRO AREA / 2026
Hi, I’mAdam
Adam
Ouksili
I study computer science and math.
Here’s what I’ve been building.
Computer Science × Mathematics
Rutgers University · Class of 2029
Rutgers University · Class of 2029
00 / CHAOSThe strange attractor↗01 / PROOFTheoremis↗02 / INTENTOverlappd↗03 / SIGNALFourier drawing↗04 / PATHSShortest paths↗05 / ADAMAbout me↗
Loading the scene…
DRAG TO ORBIT · CLICK A LABEL TO OPEN ITSELECTED PROJECTS ↓
01 / SELECTED PROJECTS
All projects ↗What I’m working on.
01 / SELECTED WORK↗Theoremis
From a handwritten idea to a verifiable proof.
FORMAL MATHEMATICS / DEVELOPER TOOLS
02 / SELECTED WORK↗Overlappd
Discovery that starts with what you mean.
DISCOVERY / CONSUMER PRODUCTSADAM / SYSTEM
This website, including the math experiments and notes.
HOW IT’S BUILT ↗02 / MATH EXPERIMENTSA few things
A few things
to try out.
Try changing a graph, drawing a curve, or running a simulation to see what happens.
Open all six experiments ↗03 / ABOUT MEA bit
A bit
about me.
I’m a Computer Science and Mathematics student at Rutgers. I work on developer tools, consumer apps, and small math experiments.
My projects include Theoremis, a tool for writing and checking proofs, and Overlappd, a discovery app. This site is where I share that work and try out ideas.
A little more about me ↗EDUCATION / CLASS OF 2029
Rutgers University
Computer Science × Mathematics · NYC Metropolitan Area
04 / NOTES
The notebook ↗Things I’m learning.
05 / CONTACT SAY HELLO