An Agda development of set theory inside homotopy type theory.

Guest REGistration

Client for accessing ephorte

Python client for accessing the CIM-API.

php rolle for Centos 7 som benytter remi repo

Fork av https://github.com/ubbdst/ansible-role-mariadb (bertvv/mariadb)

fork av geerlinguy/apache-ansible https://github.com/geerlingguy/ansible-role-apache

dfo-sap-client