Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Univalent mathematics in Agda
-
Open Monograph Press
-
Open Journal Systems for the Nordic Wittgenstein Review
-
sms-seq code and figures
-
vue.js/bootstrap code for editing Norsk ordbank
-
-
Enterprise linux 8 (primarily Rocky Linux 8)
-
Curated applications for Kubernetes
-
-
Exceptions for bbpager monitoring. One file per check type, one line per host. Lines staring with # are ignored.
-
-
Vue-komponent for å vise bøyninger av ord
-
A Python library for accessing Instructure's Canvas LMS API
-
-
-
Repo for safe keeping of various scripts that are relevant for all bottint projects
