Artemis - Interactive Learning with Automated Feedback
Programming problems, solved with Literate Programming and verified with tests