dx
∂/∂x
π
∇²
ε → 0
λ
e + 1 = 0
lim
det(A)
pg. 1
hello — welcome to my little corner

Samuel
Okwuonu

Mathematics student at the University of Exeter — working on random maths and computer science projects, trying to make numbers and logic a little more beautiful along the way.

that's me!
keep scrolling
· · ·
a little about me

curious by
nature.

I like following a question until it turns into something you can touch — a proof, a tool, a diagram, or occasionally a very over-engineered website.

I’m Samuel, a Mathematics student at the University of Exeter. My work lives in the space between rigorous ideas and friendly interfaces: computer algebra, curriculum graphs, learning tools, and the small details that make software feel human.

This notebook is where I keep the things I build, the questions I’m exploring, and the occasional half-finished thought worth returning to.

currently mathematics student in Exeter
drawn to logic, typesetting & useful tools
selected work

things I’ve
made.

four little experiments in making abstract ideas feel clearer.

01 / 04
Computer Algebra System
status: activefocus: computer algebra

Parse

A multi-threaded, realtime LaTeX computer algebra system built on a dual-engine architecture. Write maths naturally in LaTeX — get instant symbolic and numeric results. Falls back to a native Julia desktop engine when you need serious computational muscle.

  • SymPy WASM engine for browser-based exact symbolic computation
  • Native Julia engine for multi-threaded heavy lifting
  • Realtime LaTeX input with tab completion and live rendering
  • Hacker console with telemetry and step-by-step breakdowns
visit parse
∫₀¹ f(x) dx = F(1) − F(0)
← probably my most ambitious project so far
· · ·
02 / 04
Academic Tool
status: activefocus: curriculum mapping

Course Planner

A visualisation suite for mapping the MMath curriculum — module dependencies, prerequisite chains, and academic progression at the University of Exeter. Built because I wanted to actually see how my degree fits together.

  • Interactive graph of module structure and prerequisites
  • Explore degree pathways and their knock-on effects
  • Built specifically for the Exeter Maths department
  • Track your progress and visualise what's ahead
visit course planner
G = (V, E) deg(v) ≥ 1
genuinely useful → used it to pick my 2nd year modules
· · ·
03 / 04
Grand Archive

Codex Mathematica

A comprehensive mathematical knowledge base — calculus, analysis, algebra, and beyond, in a clean, searchable, interconnected format. Like a digital encyclopaedia for the ideas that underpin everything else.

  • Curated library of formulas, identities, and theorems
  • Worked examples with step-by-step derivations
  • Navigate interconnected concepts across disciplines
  • Modern, searchable reference system
visit codex
d/dx[eˣ] = eˣ ∀ x ∈ ℝ
the one I keep coming back to — always something to add
· · ·
04 / 04
Mathematics Platform

Misty

An interactive maths learning and problem-solving dashboard. Built for mastering A-Level past papers, mathematical proofs, and competition-level problems — all in one tailored environment that adapts to where you are.

  • Past paper archive indexed by topic across exam boards
  • STEP, AEA, and BMO competition-level challenges
  • Structured proof workspace with guided progression
  • Personalised difficulty tiers and topic filtering
visit misty
n ∑ k² = n(n+1)(2n+1) k=1 6
started this one during A-levels — still adding to it
· · ·
things I like thinking about
real analysis LaTeX functional programming mathematical typesetting graph theory linux compilers calisthenics typing cubing
open page

let’s make
something.

Have a question, a collaboration in mind, or an interesting problem that needs a whiteboard? Send a note and I’ll get back to you when I’ve found a quiet corner to think.

more projects coming — always building something ✦