Fork of https://github.com/robertdebock/ansible-role-tomcat.git to use tomcat in centos8 outside of yum

Below-cloud Interaction Model -A model to simulate the isotopic evolution of a single hydrometeor falling from the cloud through a vertical air column to the ground. Developed by Pascal Graf, 2016 - 2018. Reference: Graf et al., 2019, ACP.

Exceptions for bbpager monitoring. One file per check type, one line per host. Lines staring with # are ignored.

Python client for accessing the ToA-API.

Python client for accessing the CIM-API.

Teaching resources

My bibliography is listed in the *.bib* files. More extensive annotations are in dedicated *.md` files.

An Agda development of set theory inside homotopy type theory.