A web implementation of an interactive theorem prover based on the method of semantic tableaux.
An implementation of a short but adictive two-player card game.
An implementation of the abstract strategy game TZAAR.