Explore projects

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

test

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

Firmware for single board computer hardware specifically made for the biophysics experimental setups. Typically runs on Raspberry Pi and Arduino boards. For communication we use LabStreamingLayer (LSL), ZeroMQ and the Boost framework.

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