PARsing Mathematical Entities Search And Navigation: A tool to search for definitions and usage examples of mathematical concepts.
Prompted by these conversations, a subset of us eventually wrote a paper on the foundations of equilibrium thermodynamics:
John Baez, Owen Lynch and Joe Moeller, Compositional thermostatics.