Software and Learning Materials

Robotics

• Robotics projects.

Scratch

• Scratch textbook (English, Hebrew).
• Scratch projects.

Logic and model checking

• LearnSAT: A Prolog implementation of the DPLL algorithm for SAT solving, including conflict-directed clause-learning and non-chronological backtracking.
• jSpin is a simple integrated development environment for the Spin model checker.
• Erigone is a partial reimplementation of the Spin model checker intended to facilitate learning concurrency and model checking.
• VN is a tool for visualization of nondeterministic finite automata.
• Sokoban Solver in Promela.

Concurrent and distributed programming

• DAJ is an interactive tool for studying distributed algorithms.
• jBACI is a concurrency simulator with an integrated development environment.
• Source code for How to Solve the Santa Claus Problem, Concurrency: Practice & Experience 10(6), 1998, 485-496.
• Source code for Implementing Concurrency Using Inheritance, SIGCSE Bulletin 28(1), 1996, p. 180-184.

Java programming

• Jeliot program animation system.
• Reference list of Jeliot commands (in Hebrew).
• SyntaxTrain: visualization of Java syntax errors.
  • SyntaxTrain, SyntaxTrain BlueJ extension, Source code.
  • M.Sc. thesis on SyntaxTrain by Andreas Leon Aagaard Moth.
• Learning Objects for Visualizations: Programming in Java Using Jeliot.
  • LOV Java source code and documentation.
  • LOJel: Integration of LOs with Jeliot.
  • M.Sc. thesis on LOJel by Jens Peter Träff.
• Compile and Runtime Errors in Java (PDF, LaTeX).
• IO library, documentation.
• Graphics library.
• IO? There is no such thing! (in Hebrew).
• Standard IO in Java (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.
• Learning materials for the MatrixPro algorithm visualization system.
• Learning materials for the JFLAP tool for learning automata and formal languages.

Student projects (not supported)

• Mikko Vinni. An incremental viewer of Dot graphs.
  • iDot source and jar files., Libraries: prefuse and dot.
• Trishank Karthik Kuppusamy. Pomegranate: A Compiler for Promela.
• Maxim Mozgovoy. CPV: Concurrent Program Verifier.
• Yakov Persky. SimAda Concurrency Simulator.
• Yoav Tzruya. A Distributed Programming Environment for Ada95.
• Shawn Silverman. DPLab: An environment for distributed programming.
• CP: A Concurrency Simulator.