Polyglot implementations of "safadeza" calculus. - View it on GitHub