Popular repositories Loading

1. distributed-chat-system distributed-chat-system Public

   Distributed Systems Assignment 2

   Java 1 1

2. integ_asg1_tester integ_asg1_tester Public

   Testing framework for High Integrity Assignment 1

   Ada 1

3. ebs_attack_model ebs_attack_model Public

   Alloy model of a cars EBS system, detailing attacks on the CANBus

   Alloy 1

4. wiredtiger-pr-bot wiredtiger-pr-bot Public archive

   TypeScript 1

5. doc_gen doc_gen Public

   document generation proof of concept for MProj

   Python

6. swen_tourney swen_tourney Public

   Automated testing for student submissions, integrated with Gitlab CI/CD

   Python