This webpage provides an overview of the web applications and services that the IDEAS project offers. The more mature applications and services are deployed on a dedicated production server, whereas the some experimental applications and services run on a test server.
Our web applications and services are listed below with a short description and a link. They are listed in the menu on the right as well for quick access.
AskElle is a functional programming tutor for Haskell. It offers small programming exercises suited for first year students learning Haskell.
HEE is an online Haskell expression evaluator.
Logex is a web application for rewriting propositional logic expressions into either disjunctive or conjunctive normal form and to prove logical equivalence.
Logax is an...
Sinas is a tool for diagnosing solutions for exercises with the Orange data mining tool. First select an exercise from the menu above. This will show an exercise description as well as a button, with which you can submit an Orange file (containing the solution). Sinas will then diagnose your submission and give feedback on your solution.