Mark Utting
utting
Research interests: software verification; theorem proving; model-based testing; language design; blockchain
Languages
Loading contributions...
Top Repositories
Agilkia Smart Testing Tools
A WearOS WatchFace with a single 24-hour hand, to help you live 'slow' and keep in touch with nature.
Translator from the Whiley programming language to the Boogie Intermediate Verification Language
Software for the Visualisation CAVE at the University of the Sunshine Coast
Generate research profiles for academics by using AI to find themes and trends in their publications
Repositories
20Generate research profiles for academics by using AI to find themes and trends in their publications
A python script which lets you create multiple choice question pools with LaTeX math expressions and embed images, and upload them to Blackboard!
A WearOS WatchFace with a single 24-hour hand, to help you live 'slow' and keep in touch with nature.
A PriorityQueue implementation in java with minimum binary heap
Agilkia Smart Testing Tools
Jaza is an Animator for the Z formal specification language
A compiler framework for managing the Whiley Compiler and related tooling.
An HTML5 Canvas Implemetation of Conway's Game of Life written in Whiley
Translator from the Whiley programming language to the Boogie Intermediate Verification Language
Curriculum Information Repository experiments.
Starting code for a simple 2D board game.
Initial code for ICT221 Garden Planner
A Dashboard for students to track their Blended Learning progress.
BICT Explorer starting code for ICT221 students.
No description provided.
Initial Week 1 code for MathGame.
The Whiley Compiler (WyC)
Software for the Visualisation CAVE at the University of the Sunshine Coast
GovHack 2016 Take B.
GovHack 2016 competition