Explore projects

Simple IDE

Here we will place all code from the lectures

An Agda development of set theory inside homotopy type theory.

PHP-fpm/Nginx container build from Alpine Linux container.

Role for creating servers in the Openstack based nrec.

Client for accessing ephorte