This is the server-side code. It is implemented using Django. There are two apps. One is for the geographic rendering (i.e., REST api for spitting out geojson tiles). The other is for managing user locations.
See mau_map_system.jpg for high-level system architecture.
See mau_map.jpg for screenshot.