Explore projects

Experimental AI programming tutor for beginners, based on Sindre Eie Ledsaak's Master project.

Bergen snow simulator

Univalent mathematics in Agda

https://pradyunsg.me/furo oversatt til norsk

Master project. Studies have shown that production of secondary particles, such as prompt gamma and fast neutron are related to the proton range in proton therapy. In this project, distribution images of prompt gamma and fast neutron are used to predict the proton range using a Pix-to-pix GAN.

kaas 🧀 – Kompiler-as-a-Service made simple!