Organize a music festival using CafeSat (an SAT solver)
Functional sets.
A simplified Scheme interpreter
Using Functional Sets to handle Tweets
Huffman encoder and decoder
Use scalacheck to verify that some heap implementations satisfy the required properties.
Three exercises on recursion.
Use scala streams to write a Bloxorz solver.