All software except the Scratch projects can be found on GitHub
- Robotics: Tutorial on the Visual Programming Language (VPL) and a document with programming examples and projects using the Aseba textual language. Tutorial on the use of Python to program the Thymio robot.
- Scratch textbook (English, Hebrew).
- Scratch projects for: learning mathematics, Karel the Robot, Braitenberg vehicles, computer science unplugged, Thymio robot simulation, gear animation.
- LearnSAT: A program written in Prolog designed to facilitate learning the central algorithms used by modern SAT solvers: the DPLL algorithm together with conflict-directed clause-learning, non-chronological backtracking and lookahead. A very detailed trace of the algorithm's execution is displayed.
- Erigone is a partial reimplementation of the Spin model checker intended to facilitate learning concurrency and model checking. It is single, self-contained, executable file so that installation and use are trivial and it produces a detailed trace of the model checking algorithms.
- DAJ is an interactive, visual aid for studying distributed algorithms. Fourteen algorithms are current implemented, and you can implement other algorithms with an elementary knowledge of Java.
- jSpin (outdated) is an integrated development environment for Spin.
- jBACI (outdated) is a concurrency simulator.