Explore projects

test

Forked from: https://github.com/jveldik/anti-adblocker-detection

The project solves Einstein equations coupled to matter field with one non-diagonal component of metric as well as Dirac equations on that background.

Build and CI scripts for Clean

Grammatical inference using the Z3 SMT solver

Classification of t-Resilient Boolean Functions with t+4 Variables, together with Quadratic and Cubic t-Resilient Boolean Functions with t+5 Variables