Explore projects

Scripts to support Zabbix-monitored hosts (most of these are Linux-specific)

Bamlss families for modelling multivariate Gaussian distributions with Cholesky decomposition of the covariance matrix.

The numerical scheme to solve the diffusive and shear diffusive PDE using the BEM

TCExam is a CBA (Computer-Based Assessment) system (e-exam, CBT - Computer Based Testing) for universities, schools and companies, that enables educators and trainers to author, schedule, deliver, and report on surveys, quizzes, tests and exams.

This project contains various symbolic execution challenges for the r8 CTF system. These challenges were developed in the scope of a seminar thesis about the evaluation of angr for CTF challenges.

sampling-based algorithm using using state space decomposition