tupipa

openface container image from https://github.com/tupipa/openface

openface reading from local video file, for testing

Base Image to build hol4-mosml

HOL4 built with Poly ML.

HOL4 built with Moscow ML compiler

latest ubuntu image with build essentials

Combine NGINX reverse proxy and httpd(Apache2 web server) into one Docker image for Raspberry Pi.