Djinn in your browser

April 9, 2017 12:35 UTC
(Last updated on April 9, 2017 12:39 UTC)

Tags:

I couldn’t find an online version of Djinn, so I ran it through GHCJS with some tweaks, added a basic interface and hosted it here. It runs in your browser, so go crazy. If you want changes to the default settings or environment, feel free to suggest them. Right now everything is the default settings of the Djinn tool except that multiple results is enabled.