Tools for Computer Science Education

Ask-Elle is a tutor for learning the higher-order, strongly-typed functional programming language Haskell. It supports the stepwise development of Haskell programs by verifying the correctness of incomplete programs, and by providing hints. Programming exercises are added to Ask-Elle by providing a task description for the exercise, one or more model solutions, and properties that a solution should satisfy. The properties and model solutions can be annotated with feedback messages, and the amount of flexibility that is allowed in student solutions can be adjusted.

More info: http://ideas.cs.uu.nl/AskElle.

Quarterfall is a platform aimed at giving computer science students automatic feedback on their assignments and can run automated tests on programs in most languages used in computer science education.

More info: https://quarterfall.com.

The Refactor Tutor lets students practice with improving small programs that are already functionally correct, to make them more concise, efficient, and understandable. The student can ask for hints and feedback at each step. Hints are given with increasing detail, and test cases are used to ensure that the behaviour of the program is preserved. The system is based on rules that are extracted from input by teachers collected in a preliminary study, a subset of rules taken from professional tools, and other literature. Rules define how a code construct can be rewritten into a better variant, without changing its functionality. Rules can be combined to form rewrite strategies, similar to refactorings offered by most IDEs.

More info: http://www.hkeuning.nl/rpt/.