Pinned Repositories
Attendance-Scanner-for-NapierUni
Attendance Scanner Project, made as group project for Napier University
NOWAISONER
NOWAISONER (Nowak & May, Spatial Prisoner Dilemma)
Nuclear-Borst-Train
An Implementation with ADA for a Nuclear Train proved with SPARK, as a coursework for the Formal Approaches to Software Engineering module in 4th year
angelorusc's Repositories
angelorusc/Attendance-Scanner-for-NapierUni
Attendance Scanner Project, made as group project for Napier University
angelorusc/NOWAISONER
NOWAISONER (Nowak & May, Spatial Prisoner Dilemma)
angelorusc/Nuclear-Borst-Train
An Implementation with ADA for a Nuclear Train proved with SPARK, as a coursework for the Formal Approaches to Software Engineering module in 4th year