• Scratch
• Model Checking
• Concurrent and distributed programming
• Visualization of nondeterminism
• Java programming
• Learning materials in English
• Learning materials in Hebrew
• Older tools

Scratch

• Karel the Robot: A framework for writing Karel the Robot programs. There are implementations both in Scratch and BYOB, which is is an extension of Scratch. The implementation of Karel in BYOB is much simpler than the one in Scratch and I recommend using it. See a screenshot. Google Code: scratch-karel.
• Valentino the Robot: For teaching robotics, it is common to use the robots designed in thought experiments by Valentino Braitenberg. This is an implementation of some of those robots in BYOB. Google Code: scratch-karel.
• Scratch programs for the activities in Computer Science Unplugged. Google Code: scratch-unplugged.
• Learning materials for Scratch in Hebrew.

Model checking

• Erigone - a simple model checker. Google Code: erigone.
• Development environments for Spin and Erigone. Google Code: jspin.
  • EUI - integrated development environment for Erigone.
  • jSpin - an integrated development environment for Spin.
  • SpinSpider - a tool for creating state space diagrams automatically.
• iDot - an incremental dot viewer intended for use with SpinSpider. Written by Mikko Vinni. Google Code: idot.

Concurrent and distributed programming

• DAJ - interactive execution of distributed algorithms. Google Code: daj.
• jBACI - a concurrency simulator in an integrated development environment. Google Code: jbaci.
  
• Ada and Java source code for How to Solve the Santa Claus Problem, Concurrency: Practice & Experience 10(6), 1998, 485-496.
• Ada source code for Implementing Concurrency Using Inheritance SIGCSE Bulletin 28(1), 1996, p. 180-184.

Visualization of nondeterminisim

• VN - visualization of nondeterministic finite automata. Google Code: v-n.
  Version 3.X of VN works with Erigone instead of Spin so that a C compiler is not needed.

Java programming

• Jeliot - automatic animation of Java programs.
• SyntaxTrain - visualization of Java syntax errors. Google Code: syntaxtrain.
• LOV - Learning Objects for Visualizations: Programming in Java Using Jeliot.
• Compile and Runtime Errors in Java. PDF, LaTeX.
• IO library.
• Graphics library.
• IO? There is no such thing! (in Hebrew).
• Standard IO in Java (in Hebrew).
• Objects First? Objects Later? Perhaps ... Objects Never (in Hebrew).

Learning materials in English

• Slides for showing that Minesweeper is NP-Complete.
• Supplemental material for The End of Science Revisited, Skeptic 13(2), 2007, 20-27.
• Expanded version of the figure from The Contribution of Visualization to Learning Computer Architecture, Computer Science Education 17(2), 2007, 117-127.

Learning materials in Hebrew

• Learning materials for the Jeliot program animation system. Reference list of Jeliot commands.
• Learning materials for the MatrixPro algorithm visualization system.
• Learning materials for the JFLAP tool for learning automata and formal languages.

Older tools
These are student projects that are no longer available or supported.

• Trishank Karthik Kuppusamy. Pomegranate: A Compiler for Promela, 2008--09.
• Maxim Mozgovoy. CPV: Concurrent Program Verifier, 2005.
• Yakov Persky. SimAda Concurrency Simulator, 1999.
• Yoav Tzruya. A Distributed Programming Environment for Ada95, 1998.
• Shawn Silverman. DPLab: An environment for distributed programming, 1998.
• CP: A Concurrency Simulator, 1974--80, 1996--2000.