Explore projects

Here we will place all code from the lectures

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

Simple IDE

An Agda development of set theory inside homotopy type theory.

Tutorial on setting up and running a fairly minimal FastAPI service in a Docker, using the simple SpaCy entity linker from http://pypi.org/project/spacy-entity-linker/ as example.

Supports: – PHP/Nginx – unprivileged mode – crond (not in unprivileged mode)