Discover projects, groups and snippets. Share your projects with others
Ny nettside for de nye ordbøkene som bruker api.ordbok.uib.no
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.
Define the SCIM interface to be exposed by UH-IAM and other IGA solutions
The second mandatory assignment for INF226 2021.
Curated applications for Kubernetes
Client for accessing ephorte