Explore projects
-
Håkon Gylterud / Myott
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Updated
-
Updated
-
it-bott-integrasjoner / greg
GNU General Public License v3.0 or laterGuest REGistration
Archived 2Updated -
An Agda development of set theory inside homotopy type theory.
Updated -
Updated
-
Updated
-
Updated
-
-
Protege 3.5 server docker setup
Archived 0Updated -
Code for the manuscript "Single-nucleus transcriptomics reveals disease- and pathology-specific signatures in alpha-synucleinopathies" (Nido et al. 2023)
Updated -
UiB will be pilot for the national IAM project within the Norwegian sector for research and higher education (HE sector).
Updated -
Open Journal Systems for the Nordic Wittgenstein Review
Updated -
-