Explore projects
-
Updated
-
eh4418 / Final Year Individual Project
Apache License 2.0Final Year Individual Project for eh4418
Updated -
Source for https://vtss.doc.ic.ac.uk/, Program Specification & Verification Group webpages
Updated -
Updated
-
Updated
-
Updated
-
Davide Cavezza / FormaliSE20repo
GNU General Public License v3.0 or laterUpdated -
sweng-group-15 / vec-map
Apache License 2.0A simple map based on a vector for small integer keys
Updated -
-
Updated
-
-
Updated
-
Updated
-
MSc. Individual Project - Prototype for GPS Stream Processing For Flexible Zone Monitoring - Maximilian Lau
Updated -
Updated
-
MSc Computing (AI and machine learning) programme final project.
Updated -
Updated
-
Updated