Explore projects
-
Updated
-
Updated
-
Updated
-
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.
Updated -
UpdatedUpdated
-
Updated
-
Updated
-
-
Sandwhich shop implementation, to be extended with decorator and simple factory design patterns.
Updated -
Arithmetic parser and evaluator implementation, to be extended with composite, iterator, and visitor design patterns.
Updated -
Scala port of JHotDraw, used in exercises to recognise design patterns
Updated -
Clock class, to be extended with Strategy and Observer design patterns
Updated -
Calculator project, to be extended with a Command design pattern.
Updated -
-
Scala port of jpacman, an application used in exercises on testing and design-by-contract.
Updated -
-
Updated
-
Updated
-
Updated