AidanMcKenzie/Ada-Submarine AidanMcKenzie/Ada-Submarine

  • Stars
    star
    1
  • Language
    Ada
  • Created almost 5 years ago
  • Updated almost 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
AidanMcKenzie/Ada-Submarine
github

AidanMcKenzie

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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.

More Repositories

1

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.
C#
3
star
2

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.
C#
1
star
3

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.
C#
1
star