GitLab

Guest REGistration

a minimalist graphics engine

An Agda development of set theory inside homotopy type theory.

This documentation's goal is to improve and document my own automation processes where I attempt to optimise both security and usability. This can be useful for others as well, but is too specific to fit our docs.

Ny nettside for de nye ordbøkene som bruker api.ordbok.uib.no

Vue-komponent for å vise bøyninger av ord

Grunnlagsfiler som brukes for å generere datasett til toponymi, laget i git LFS som arkiv

Custom components for Marcus Lodspeakr

Mapping of unpaywall csv to rdf

Frontend for Marcus

This contains a directory with dot files (without the dots) as well as a script to install your dot files. The script (bin/make-dotfiles) is in development and the should, as of yet, not be blindly used.

vue.js/bootstrap code for editing Norsk ordbank