elsapolo

Pinned Repositories

decision-tree-coursework
Language:Python0 1 00
ai-engine-sdk-js
Language:TypeScript00
drp23
Language:Vue00
formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
Language:Lean0 0 00
js-ocaml-snake
Language:OCaml00
MATH50003NumericalAnalysis
Notes and course material for MATH50003 Numerical Analysis (2022–2023)
Language:Jupyter Notebook00
workshops
Language:HTML00
agentverse
Public repository for Agentverse
12 10 6811
Kayaking
Language:Kotlin6 3 610
PintPath
Language:Vue10

elsapolo's Repositories

elsapolo/ai-engine-sdk-js
Language:TypeScript00
elsapolo/drp23
Language:Vue00
elsapolo/formalising-mathematics-2024
Formalising Mathematics; a course for undergraduate mathematicians. Running January to March 2024.
Language:Lean0 0 00
elsapolo/js-ocaml-snake
Language:OCaml00
elsapolo/MATH50003NumericalAnalysis
Notes and course material for MATH50003 Numerical Analysis (2022–2023)
Language:Jupyter Notebook00
elsapolo/workshops
Language:HTML00