Apps and services overview

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

AskElle is a functional programming tutor for Haskell. It offers small programming exercises suited for first year students learning Haskell.

Open app »

HEE

HEE is an online Haskell expression evaluator.

Open app »

logex

Logex is a web application for rewriting propositional logic expressions into either disjunctive or conjunctive normal form and to prove logical equivalence.

Open app »

logax

Logax is an...

Open app »

Sinas

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.

Open app »

TBA

TBA

Open app »