Logic and Proof

• Logic EngineExperiment with classical rules of inference
• Truth TablesBuild a table for any logical expression

Chance and Number

• Coin FlipperWatch probability emerge from many flips
• Series TesterTest mathematical series for convergence
• Life CalculatorHow long you've lived, in several units

Inside the Machine

• Floating Point ExposedThe IEEE 754 bits behind a number
• Hash Collision LabWatch strings collide in hash buckets

Generators and Simulations

• Markov ChainBuild new text from Markov chains
• Password GeneratorRandom passwords you can tune
• Cellular AutomataRun the elementary one-dimensional rules