Explore projects

Query builder for Elasticsearch

Guest REGistration

Bergen snow simulator

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

An Agda development of set theory inside homotopy type theory.

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

Protege 3.5 server docker setup