Explore projects

A collection of some mealy machines in .dot format.

This project has been moved to GitLab.com.

test

An R implementation of the BCCD algorithm for causal discovery.

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