AutoFeedback

Automatically generate feedback on Java programming tasks

Picsi

Image Processing Software

All RGB Color Images

Images with exactly 4096 x 4096 pixels, each pixel contains a unique 24-bit RGB color

WP Calculator

Calculation of the weakest precondition of a simple program fragment

Automated Logic Exercises

E-learning tool for logic expressions based on the software of Professor Antti Valmari

Algoria

Magic-Ink application for improved understanding of fundamental data structures and algorithms