- ER Diagrams and Alloy
- Verifying effectful higher-order programs with staged logic
- Choreographic PlusCal
- Self-send projection
- Jump-to-definition in PL papers
- Ordering events across live loops in Sonic Pi
- Trees with holes
- Visualizing Z3's proofs
- Pretty stack-and-heap diagrams
- Mouseover Minesweeper
- Transparent iOS backups
- Bags of puzzle pieces in ASP