Explore projects

Diverse

Code from INF112 lectures, spring 2026.

Bergen snow simulator

PHP container with a selection of test-programs, intended for use in CI/CD jobs. Build from Alpine Linux container. (build on top of AlpineLinuxPhpNginx)

Univalent mathematics in Agda

Oblig 2, PV