Explore projects

Guest REGistration

Unprivileged PHP-fpm/Nginx container build from Alpine Linux container. (build on top of AlpineLinuxPhpNginx)

Automatisk genererte reST-filer fra https://git.app.uib.no/dok/standardtekster (som igjen hentes av https://git.app.uib.no/it/site/dok.app.uib.no )

An Agda development of set theory inside homotopy type theory.

Planning and materials for NORBIS course GENSTAT (2020)