Logic and Proof

• Logic EngineExperiment with classical rules of inference
• Truth TablesBuild a table for any logical expression
• Syllogism CheckerSee whether a conclusion follows, on a Venn diagram

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
• Integer ExplorerTwo's complement bits, ranges, and overflow
• Hash Collision LabWatch strings collide in hash buckets
• Tokenizer ComparisonTrain a tiny tokenizer and count tokens in English and Chinese

Generators and Simulations

• Markov ChainBuild new text from Markov chains
• Password GeneratorRandom passwords you can tune
• Cellular AutomataRun the elementary one-dimensional rules
• Maze GeneratorWatch a perfect maze carve itself, then solve it