Explore projects
-
Håkon Gylterud / Myott
BSD 3-Clause "New" or "Revised" LicenseUpdated -
Updated
-
Updated
-
-
Updated
-
An Agda development of set theory inside homotopy type theory.
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
uib-ub / Drift / roller-ansible / mariadb
BSD 2-Clause "Simplified" LicenseFork av https://github.com/ubbdst/ansible-role-mariadb (bertvv/mariadb)
Updated -
Bergen fMRI Group - external / Analyzing Big GABA
BSD 2-Clause "Simplified" LicenseUpdated -
Updated
-
Updated