duncanatt
PhD Student at Reykjavík University and the University of Malta. Recently started a postdoc at the University of Glasgow.
Reykjavík UniversityGlasgow
Pinned Repositories
bonbon
A minimalistic theme for Beamer.
cesarini-book
Source code of examples in the Erlang Programming book by Franceso Cesarini
cs-report
A LaTeX class file for CS UoM report
dafny
Dafny is a verification-aware programming language
detecter
A runtime verification tool for Erlang systems
detecter-inline
A lightweight runtime verification tool for Erlang programs
dotfiles
A collection of configuration files that help set up a development environment on macOS quickly.
hello_proj
A simple hello world C example.
paterl
Erlang to Pat transpiler
duncanatt's Repositories
duncanatt/detecter
A runtime verification tool for Erlang systems
duncanatt/bonbon
A minimalistic theme for Beamer.
duncanatt/cs-report
A LaTeX class file for CS UoM report
duncanatt/hello_proj
A simple hello world C example.
duncanatt/paterl
Erlang to Pat transpiler
duncanatt/cesarini-book
Source code of examples in the Erlang Programming book by Franceso Cesarini
duncanatt/dafny
Dafny is a verification-aware programming language
duncanatt/detecter-inline
A lightweight runtime verification tool for Erlang programs
duncanatt/dotfiles
A collection of configuration files that help set up a development environment on macOS quickly.
duncanatt/duncanatt.github.io
duncanatt/erlang-book
Exercises from the Erlang book.
duncanatt/jpa-tutorial
A simple JPA tutorial
duncanatt/otp
Erlang/OTP
duncanatt/pml-assignment
Practical Machine Learning Assignment (Johns Hopkins)
duncanatt/programming-paradigms
Tutorials, examples and other accompanying material for the Programming Paradigms course UoM
duncanatt/ProgrammingAssignment2
Repository for Programming Assignment 2 for R Programming on Coursera
duncanatt/simple-rest-client
An experimental and simple rest client.