Pinned Repositories
ocaml_module_system
Birkhoff
brossard-adg2018-transcript
Transcript for a talk on `Towards a Mechanisation in Isabelle of Birkhoff's Ruler and Protractor Geometry' at ADG 2018
celtic-plaits
Herein is contained a Matlab program for drawing the links of 'Celtic plaits'. These can be informally defined as alternating knots that can be laid out on a rectangular grid. The code is a little confusing to read as it goes back and forth between several helper functions. See my project for more information about Celtic plaits and motivation for this program:
CircularFunctions
My fourth year honours project with supervisor Dr. Jacques Fleuriot, for which I won the William and Isabella Dick prize for best project. 'A Formalisation of Trigonometric Functions in Isabelle'
herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
Humans-and-aliens
The instructions for the game and the lists of questions are kept here.
ImogenMorris.github.io
Build a Jekyll blog in minutes, without touching the command line.
SainsburysLoyaltyGUI
Acting Artificials's Sainsburys Loyalty GUI for Hack the Burgh 2023
ImogenMorris's Repositories
ImogenMorris/herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
ImogenMorris/ocaml_module_system
ImogenMorris/ImogenMorris.github.io
Build a Jekyll blog in minutes, without touching the command line.
ImogenMorris/SainsburysLoyaltyGUI
Acting Artificials's Sainsburys Loyalty GUI for Hack the Burgh 2023
ImogenMorris/CircularFunctions
My fourth year honours project with supervisor Dr. Jacques Fleuriot, for which I won the William and Isabella Dick prize for best project. 'A Formalisation of Trigonometric Functions in Isabelle'
ImogenMorris/Humans-and-aliens
The instructions for the game and the lists of questions are kept here.
ImogenMorris/Birkhoff
ImogenMorris/brossard-adg2018-transcript
Transcript for a talk on `Towards a Mechanisation in Isabelle of Birkhoff's Ruler and Protractor Geometry' at ADG 2018
ImogenMorris/celtic-plaits
Herein is contained a Matlab program for drawing the links of 'Celtic plaits'. These can be informally defined as alternating knots that can be laid out on a rectangular grid. The code is a little confusing to read as it goes back and forth between several helper functions. See my project for more information about Celtic plaits and motivation for this program: