Mihai Soldan's repositories
RegionGraph
Reachability checking for Timed Automata using Region Graphs
CyclingTime
Infer.net tutorials
Language:C#000
Language:C#000
Language:Ruby000
kura
Eclipse Kura™ project - http://eclipse.org/kura
Language:JavaEPL-2.0000
Language:JavaNOASSERTION000
UnicamCompleanno
Applicazione console C# che calcola l'età dell'utente e gli indica i giorni che lo separano dal suo prossimo compleanno
Language:C#MIT000
UnicamFattoriale
Applicazione console C# che calcola il fattoriale di un numero digitato dall'utente
Language:C#MIT000
UnicamMath
Dati i cateti, calcola l'ipotenusa e gli angoli interni (in gradi) di un triangolo rettangolo
Language:C#MIT000
UnicamScacchi
Applicazione che consentirà all'eterna sfida Bob VS Ross di avere luogo.
Language:C#MIT000