Deadlock Dependence Precedence

A MATLAB package for fitting cold atomic density profiles obtained with absorption imaging. The package includes the fitting class, Ultracoldimage, and a GUI for this class called CloudFit.

Praktisk Programmering og numeriske metoder - F2020

A framework for smart contract verification in Coq

TIl kurset: "Praktisk programmering og numeriske metoder" forår 2020.

Automation of CSPTerm based devices

En løbende blog over vores design i ITPDP

Project containing code from our bachelor's project 2020.

Comparison between Maestro and Maestro2

Forårsudfordringen:

I anledning af, at vi alle nu har oplevet denne fantastisk sjældne dato, annoncerer Jørgen og jeg hermed årets forårsudfordring i programmering: Giv os et stykke kode, der kan beregne alle palindromdatoer i dette årtitusinde. K

A java project that generates tests for RabbitMQFMU based on the dot file exported from tla+.

The deploy host repo related to fmi-utilities.

Template for progress report for qualifying exam