An editor and interpreter for Interaction Nets
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 ( firstname.lastname@example.org) at University of Minho.
To Do list
How to use INblobs
Installation from sources
To use INblobs you must make a copy of the
darcs get http://haskell.di.uminho.pt/jmvilaca/INblobs
or copy the latest tarball
The repository is browsable here through
INblobs uses the following tools and/or libraries:
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
Simply download INblobs for Windows;
extract from file (the archive already has a containing folder);
run the executable inside the folder;
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).
Install GHC 6.4 (ensure that is 6.4 and not 6.4.X) ( download here)
Install wxHaskell for Mac ( download here)
Download INblobs for Mac Os X 10.4 and run INblobs.app.
Try the examples that are in the .dmg file.
Works from sources.
If you find a bug please report it to email@example.com with subject INblobs bug.
When reducing, the application shows the rule used, but doesn't actualize the selection in the rules tree.
Geometric problems: sometimes, some buttons disappear and the user needs to resize windows or move splitters to fix that.
implement archetype like in the paper of LOPSTR05
automatic alignment of nodes
better graphical creator of new symbols; allowing new shapes and full point-and-click creation
generation of a printed version of the full IN system.
IN system generalization that do not need explicit &epsilon and &delta agents
user defined rule templates
multiple nets for the same system