Explore projects

scim2-client (Changes may be requested at bott-int-drift@usit.uio.no)

Modeling material for Fish under stress research school and workshop @ Runde, June 2019.

Multiline quine in python.

ompostering-client (Changes may be requested at bott-int-drift@usit.uio.no)

Vegard Dæmring INF226 Compulsory Assignment 2+3 (Fall 2022) https://git.app.uib.no/inf226/22h/inf226-22h/-/wikis/assignment-2-3/assignment-2-3#questions

public clone of the pRU_datasim repository of the pct group

svf parsing and JTAG bus control of the SCA chip on the ITS readout board.

Univalent mathematics in Agda