Explore projects

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

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