Hieronder staan mijn wetenschappelijke programma's die redelijk tot goed getest zijn.
Bekijk ook de grote softwarelijst voor een
overzicht van meer programma's.
Thor 2.0
| Programma:
| Thor
|
| Versie:
| 2.0 (beta)
|
| Omschrijving:
|
Thor is een grafische programmeertaal die is gebaseerd op graafherschrijven. Het programma werd aanvankelijk
geschreven in het kader van mijn afstudeerproject. Met Thor kun je een programma van graafherschrijfregels
tekenen, en het vervolgens uitvoeren op een initiele graaf. Thor zoekt naar de normaalvormen.
|
| Systeemeisen:
| Java SDK 1.3 of hoger (gratis down te loaden van de
Java homepage).
|
| Download:
| Java broncode: thor20b_src.zip (80K),
JAR: thor20b.jar (100K)
|
Hoopje's Lambda Reducer
| Programma:
| Hoopje's Lambda Reducer
|
| Omschrijving:
|
Simpele Lambda Calculus reductietool voor op het web.
|
| Download:
| lambda.tar.gz (php/html source)
|
| Opmerking:
| Hoopje is mijn digitale alter-ego.
|
Hoopje's CL Reducer
| Programma:
| Hoopje's CL Reducer
|
| Omschrijving:
|
Simpele Combinatorische Logica reductietool voor op het web.
Bevat geen fouten; eventueel raar gedrag is de bedoeling. ;-)
|
| Download:
| cl.tar.gz (php/html source)
|
| Opmerking:
| Hoopje is mijn digitale alter-ego.
|