An editor and interpreter for Interaction Nets

INblobs editor

INblobs is an editor and interpreter for Interaction Nets.

It's built on top of the front-end Blobs from Arjan van IJzendoorn, Martijn Schrage and Malcolm Wallace.

INblobs is being developed by Miguel Vilaša ( at University of Minho.

Necessary Tools
Pre-compiled versions
To Do list
How to use INblobs
Installation from sources


To use INblobs you must make a copy of the darcs repository.

darcs get

or copy the latest tarball INblobs.tar.gz.

The repository is browsable here through darcsweb

Necessary Tools

INblobs uses the following tools and/or libraries:

Pre-compiled versions

In here you can avoid to install the necessary tools/libraries.
See if there is a pre-compiled version for your platform.

Windows XP and Vista

  1. Simply download INblobs for Windows;
  2. extract from file (the archive already has a containing folder);
  3. run the executable inside the folder;
  4. experiment INblobs.

Note: When you run the executable, if you see the error message The applicattion failed to initialize properly (0xc0150002). Click OK to terminate the application. then you need to install the Microsoft Visual C++ 2005 SP1 Redistributable Package.

Mac Os X

Build and tested in version 10.4 (PowerPC).
Had been also successfully tested in Mac Os X 10.4 (Intel).
  1. Install GHC 6.4 (ensure that is 6.4 and not 6.4.X) (download here)
  2. Install wxHaskell for Mac (download here)
  3. Download INblobs for Mac Os X 10.4 and run
    Try the examples that are in the .dmg file.


Works from sources.


If you find a bug please report it to with subject INblobs bug.

Known bugs

To Do list