Explore projects

An Agda development of set theory inside homotopy type theory.

Univalent mathematics in Agda

Guest REGistration

Søkeklient til Marcus, Admin Marcus, Naturen og Skeivtarkiv

Informasjon om tilpasning av ServiceNow til arbeidsprosesser

JSON schemas for dictionaries

php rolle for Centos 7 som benytter remi repo

fork av geerlinguy/apache-ansible https://github.com/geerlingguy/ansible-role-apache