Theoremis ↗
A math-native IDE that turns handwritten proofs into verifiable formal mathematics.
A QUICK INTRODUCTION
Adam Ouksili
Computer Science × Mathematics · Rutgers University · Class of 2029
About
I’m a CS and math student at Rutgers. My projects include Theoremis, a tool for writing and checking proofs, and Overlappd, a discovery app based on what you’re looking for.
Selected work
Read more ↗
Overlappd ↗
A discovery product organized around intent, not popularity.
ADAM / SYSTEM ↗
My personal website, with projects, notes, and interactive math experiments.
Education & experience
Rutgers University CLASS OF 2029
Computer Science and Mathematics · NYC Metropolitan Area
You can read more about my projects above.
What I work with
Developer tools · Consumer products · Mathematical computing
In this portfolio: JavaScript ES modules, Three.js / WebGL, Canvas 2D, static HTML generation, numerical integration, graph traversal, Fourier analysis, and responsive CSS.