Explore projects

Python client for accessing the ToA-API.

An Agda development of set theory inside homotopy type theory.

greg-client (Changes may be requested at bott-int-drift@usit.uio.no)

Empty repository for those that want to start from scratch.

Maven has been configured.

The second mandatory assignment for INF226 2021.

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.

PHP container with a selection of test-programs, intended for use in CI/CD jobs. Build from Alpine Linux container. (build on top of AlpineLinuxPhpNginx)