Explore projects

Type checking

Type checking

Type checking

Quick and dirty lib for simulating behavior of Hippomenes building on the SyncRim model.

Analysis for SRP based systems, lab4 in d7020e course at LTU.

Project E7020E

Analysis for SRP based systems, lab4 in d7020e course at LTU.

Analysis for SRP based systems, lab4 in d7020e course at LTU.

Type checking