angelorusc

Software Engineer

Pinned Repositories

Attendance-Scanner-for-NapierUni
Attendance Scanner Project, made as group project for Napier University
Language:C#00
NOWAISONER
NOWAISONER (Nowak & May, Spatial Prisoner Dilemma)
Language:C#00
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
Language:Ada00

angelorusc's Repositories

angelorusc/Attendance-Scanner-for-NapierUni
Attendance Scanner Project, made as group project for Napier University
Language:C#00
angelorusc/NOWAISONER
NOWAISONER (Nowak & May, Spatial Prisoner Dilemma)
Language:C#00
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
Language:Ada00