Explore projects

Univalent mathematics in Agda

Data repository of the ASIM TEB paper "The First Terrestrial Electron Beam Observed by The Atmosphere-Space Interactions Monitor" by D. Sarria et al.

Bergen snow simulator

Ny nettside for de nye ordbøkene som bruker api.ordbok.uib.no

In vivo imaging and physiological modelling (BMED360) - Spring 2021