Below is a list of my scientific programs which are relatively well-tested.
See also the larger software list
for a list of more software.
Thor
| Program:
| Thor
|
| Version:
| 2.0 beta
|
| Description:
|
Thor is a graphical programming language bases on graph rewriting.
It was originally written as a part of my master's project.
With Thor you can 'draw' a program of graph rewrite rules, and then
execute the program with an initial graph as input. Thor searches
for the normal forms.
|
| Requirements:
| Java SDK 1.3 or higher (download from
Java homepage).
|
| Download:
| Java source: thor20b_src.zip (80K).
JAR: thor20b.jar (100K)
|
Hoopje's Lambda Reducer
| Program:
| Hoopje's Lambda Reducer
|
| Description:
|
Very basic online reduction tool for Lambda Calculus
|
| Download:
| lambda.tar.gz (php/html source)
|
| Note:
| Hoopje is my digital alter-ego.
|
Hoopje's CL Reducer
| Program:
| Hoopje's CL Reducer
|
| Description:
|
Very basic online reduction tool for Combinatory Logic.
(Bug free; odd behaviour is intended ;-)
|
| Download:
| cl.tar.gz (php/html source)
|
| Note:
| Hoopje is my digital alter-ego.
|