Napier-Holiday-Reservation-System

This Object-Oriented system accepts a variety of holiday bookings for customers, and calculates costs for bookings, as well as extras.

AI-Cave-Navigator

Artificial Intelligence program that navigates through a series of small underground caverns. This solution uses the A* Search Algorithm to calculate the shortest path.

Ada-Submarine

Prototype control system for a submarine, which uses Ada-SPARK to define the rules that govern the running of the submarine. The submarine can open and close airlock doors, surface and dive, and fire torpedoes, among other functionality.

Napier-Bank-Message-Filtering-Service

Napier Bank Message Filtering Service is an application that validates, sanitizes and categorises incoming messages in the form of SMS text messages, emails and Tweets.