A web-based IDE

for IDP

Ingmar Dasseville, Gerda Janssens

IULP 2015

Why?

Teaching
Exposure
~~Research~~

I am no expert!

What?

Web Technology

+ Lots of Libraries

= maintainable IDE

Online IDE = Offline IDE (modulo security)

REST

Web Server: Haskell + Snap

socket.IO

Browser

Bootstrap

CodeMirror

jQuery

D3.js

(

)

How?

Github Gist

Syntax Highlighting / Unicode symbols
Auto completion
Error Highlighting

Result: General Features

Code Sharing
Interactive Shell Mode
Tutorial pane

Result: Advanced Features

Unsatcore visualisation
Visualisation through IDPD3

Result: IDP specific features

A web-based IDE for IDP

By Ingmar Dasseville

A web-based IDE for IDP

956

Ingmar Dasseville