Welcome

Automatic discovery of mutual exclusion algorithms

• Automatic discovery of mutual exclusion algorithms / Yoah Bar-David & Gadi taubenfeld (PDF)
• Background, questions and more

Marble Computer

• A digital binary computer operated by marbles

Maze/puzzle solvers

• Maze designer and solver: mummy mazes
• Maze designer and solver: Theseus and the minotaur
• Maze designer and solver: Alice mazes

Sponsored links

• Sandroids games and apps for Android