A drag-and-drop quantum circuit simulator that runs in your browser. A toy for exploring and understanding small quantum circuits.

mmj2 GUI Proof Assistant for the Metamath project

Metamath source file for logic and set theory

Life like molecular computers with artificial chemistry.