Duncan Paul Attard's Projects
A minimalistic theme for Beamer.
Source code of examples in the Erlang Programming book by Franceso Cesarini
A LaTeX class file for CS UoM report
Dafny is a verification-aware programming language
A runtime verification tool for Erlang systems
A lightweight runtime verification tool for Erlang programs
A collection of configuration files that help set up a development environment on macOS quickly.
Exercises from the Erlang book.
A simple hello world C example.
A simple JPA tutorial
Erlang/OTP
Practical Machine Learning Assignment (Johns Hopkins)
Tutorials, examples and other accompanying material for the Programming Paradigms course UoM
Repository for Programming Assignment 2 for R Programming on Coursera
An experimental and simple rest client.