resources

Resources

Programming Exercises

Here you can find a selected list of exercises ordered by the knowledge required to solve the tasks at hand. Exercise instructions are linked in the README files of the corresponding directories.

1. esperanto: translating numbers to their corrsponding string representation in Esperanto
   • Requirements: strings and integer operations and recursion on integers
   • Challenge: code-golfing
2. sudoku: backtracking based Sudoku solver for n x n-sized grids
   • Requirements: lists
   • Challenge: optimisation
3. cuboid: challenge to optimally decompose a cuboid into cubes
   • Requirements: lists
   • Challenge: mathematics, optimisation
4. spelling_correction: implementing a spelling correction algorithm based on edit distances
   • Requirements: lists, simple typeclass constraints (e.g. Eq, Ord)
   • Challenge: optimisation
5. synthesiser: a music synthesiser with effects
   • Requirements: lists and higher-order functions
   • Challenge: creativity
6. resolution: a resolution prover with certificates for propositional logic
   • Requirements: algebraic datatypes
   • Challenge: optimisation
7. sat_solver: a simple SAT-solver for propositional logic
   • Requirements: algebraic datatypes
   • Challenge: optimisation
8. uno: a UNO console game framework
   • Requirements: algebraic datatypes
   • Challenge: software engineering
9. turtle_graphics: a turtle graphics tool based on L-systems
   • Requirements: IO and algebraic datatypes
   • Challenge: creativity

Game Tournament Framework

When offering exercises in which students implement strategies for games, one faces the challenge of having to run each student's submissions against every other submission (round-robin). In game_tournament_framework, you can find a framework to run such tournaments, continously accepting and executing games in parallel while collecting statistics for each game and player. The generated score data can then easily be displayed, for example, on a tournament website.

Some of the code is specific to the game Chain Reaction but in general may be adapted to other games. An example website for this setup can be found here.

IO Mocking

In io_mocking, you can find a transparent mocking framework for Haskell's IO type that lets you observe IO actions in student submissions and test them just as any other piece of code.

Check Your Proof (CYP)

Check Your Proof is a verifier for proofs about Haskell-like programs. Please refer to the paper for more information. You can find the source of CYP including some proof examples here and an exemplary integration of automated CYP proof checking in Tasty in cyp_integration.

Programming Contest

In contest, you can find a simple application to run an ACM-ICPC-like programming contest.