Explore projects

Updated


Homotopy type theory cheatsheets to read the HoTT Book
Updated 
An Agda development of set theory inside homotopy type theory.
Updated 
Updated

LaTeX template for masteroppgaver ved Institutt for informatikk ved UiB
Updated 


Introduction to quantum computing. The presentation includes remarks on security and scientific computation.
Updated 
Sander Wiig / Prototyping Generics in LFortran
MIT LicenseImplementing generics in LFortran
Updated 
Slides for talk at causal inference workshop at IMR Bergen
Updated 
Updated

Slides for talk at EMBO Symposium Regulatory Epigenomics.
Updated 
Updated


Slides for lecture at NORBIS Course Computational Approaches in Transcriptome Analysis.
Updated