Explore 4 packages in the TPIX registry
Graph view for your notes
Draw Tromp lambda diagrams.
Render and analyze Sudoku boards.
Put real hats on symbols instead of circumflexes.