Explore projects

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

A simple MIPS 3k emulation for educational purpose.

Type checking

Power consumption and ESB communication as lab2 in d7020e at LTU

Power consumption and ESB communication as lab2 in d7020e at LTU

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

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

Interpreter and SOS.

Type checking

Type checking

Type checking