j-Algo

j-Algo is an algorithm visualisation tool. It helps students to understand classical algorithms by illustrating them in different ways: graphical (animated), formal, and descriptive. j-Algo can be useful to everyone interested in algorithms, in particular to students of computer science and university lecturers that want to beef up their readings. Currently, there are 15 modules covering the following topics:

Hoare Calculus: verification of a C0-program using the Hoare calculus (new version)

Knuth Morris Pratt: visualisation of the KMP search algorithm

Lambda Calculus: converting and reducing λ-terms

Pulsing Memory: helps understanding the concepts of a stack and pointers

Unification: unification of terms

To get the latest release have a look at the download section. This project is GPL licensed. If you are interested in developing support for other algorithms, help us with translation or if you just want to have a look at the source code see the developer corner.