Explore projects

A simple CI example for linking with a gitlab runner

Simple Spring MVC Webapp example for use demonstrating CI/CD

DoCitten: The Cutest IRC bot ever [citation needed]

An executable formal semantics of PHP 5

This is a implementation of first order predicate logic statement evaluator.