Explore projects

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

Container prepped to run Nginx and PHP-FPM as the unprivileged nginx-user.

An Agda development of set theory inside homotopy type theory.

Bergen snow simulator

Repo for safe keeping of various scripts that are relevant for all bottint projects