jonaskrask

Aarhus, Denmark

Pinned Repositories

overture
The Overture Tool
Language:Java00
dspc_project
Language:Verilog00
SWT42_DoorControl
Exercise Fakes 2
Language:C#00
SWT42_MicroWaveOven
2nd hand-in
Language:C#00
SWT_42_ECS_DesignForTestability
SWT Lab Exercise 9
Language:C#00
vdm-vscode
Visual Studio Code extension for VDM language support
Language:TeX21 15 1866

jonaskrask's Repositories

jonaskrask/overture
The Overture Tool
Language:Java00