Educational web-based packages

• CADAL Quiz, computer aided dynamic assessment and learning
• A.I. Tutor - artificial intelligence tutor
• Jason and Alan's Java MIPS animator - uses Java to illustrate the workings of the MIPS processor
• The Smart Animator
• Klisp - a Lisp interpreter in Java
• Lambda Calculus - Functional Programming
• Prolog - Logic Programming