Explore projects

Simple IDE

HEDTOOLS: Fortran Modelling Toolbox

An Agda development of set theory inside homotopy type theory.

Implementing generics in LFortran

Introduction to quantum computing. The presentation includes remarks on security and scientific computation.

LaTeX template for masteroppgaver ved Institutt for informatikk ved UiB

Homotopy type theory cheatsheets to read the HoTT Book