Explore projects

Scala port of jpacman, an application used in exercises on testing and design-by-contract.

I started from the hydiff setup, so figured I should probably finally commit changes I made to it for my symbolic work. Ideally I'll take some time out to start from a clean jpf-symbc, but who knows when I'll get around to that.

Simon Says: GUI testing project for Software Engineering

Sandwhich shop implementation, to be extended with decorator and simple factory design patterns.

Arithmetic parser and evaluator implementation, to be extended with composite, iterator, and visitor design patterns.

Scala port of JHotDraw, used in exercises to recognise design patterns

Clock class, to be extended with Strategy and Observer design patterns

Calculator project, to be extended with a Command design pattern.

Example project for property-based testing WPO

Exercise project to introduce JavaFX