Alexander T Hale's repositories
prog-miranda
My answers to the exercises in 'Programming with Miranda'
applications-menu
The Pantheon applications menu
browser-uml
A UML model of a browser produced as part of the COMP203P module at UCL. Produced in various graph description languages.
haskell-linear-algebra
A basic set of linear algebra functions implemented in Haskell
java-constant-folding
An optimiser for Java that implements a constant folding peephole optimisation.
prop-logic-c
A propositional logic theorem prover implemented in C for the COMP202P Computer Science module
capnet-assist
Captive Portal Assistant
Citation-Manager
A simple Django web app to manage citations
Mailspring
:love_letter: A beautiful, fast and maintained fork of @Nylas Mail by one of the original authors.
stylesheet
The Gtk+ Stylesheet for elementary OS
switchboard
Extensible System Settings app
switchboard-plug-mouse-touchpad
Switchboard Mouse & Touchpad Plug
switchboard-plug-parental-controls
Switchboard Parental Controls Plug
switchboard-plug-sharing
Switchboard Sharing Plug
wingpanel-indicator-a11y
Wingpanel Universal Access Indicator
wingpanel-indicator-datetime
Wingpanel Date & Time Indicator
wingpanel-indicator-privacy
Wingpanel Privacy Indicator