Explore projects

An unofficial LaTeX template for beamer slides.

iProver GNN server

Python code for the Riemannian Potatos (RPs) method

Python code for the Riemannian Potatos (RPs) method

Desktop application based on working with json files for creating tests for another application on robot Pepper.

aag habitat wrapper

aag habitat wrapper

Annotation tools