Robin Adams's repositories
encyclopaedia
An encyclopaedia of mathematics and physics, building up to quantum field theory, with everything done rigorously
agda-unimath
The agda-unimath library
block52exercise
Final version of code from Exercise 5-2
CategoryTheory
Formalization of category theory without equality on objects
chalmers-qubit
A model for the Chalmers qubit to run realistic simulations of quantum circuits using qutip-qip
Coffee
Example for module 5-1
DefinitelyTyped
The repository for high quality TypeScript type definitions.
DIT953Signal
Example of MVC with Observer pattern
DrawPolygons
Solution to Exercise 1-2a
DrawPolygonsFinal
DrawPolygons with good design, from Monday 14 December
exercise41
Parametric Polymorphism
lecture20201210
Code at end of lecture
NewsFeedExample
Example for module 5-1
Quaru
A quantum computer simulator
sed-backend
SED Lab back-end API
todo2024
Example code from 2024 Web Apps course
todoplanner
To do list, planner and time budget Web app
topology
Notes on topology following Munkres