Hi, I live in San Diego.
Here's what I'm working on:
It's called "ZoomSpace" and is a futuristic mathematicians' tool. It will be community driven with the help of neo4j, and will be capable of suggesting next steps in a diagram chase.
This should be popular among advanced math students in college or self studiers. It will actually aid in the teaching of diagram-chasing proofs.