Goalie is a Python-based goal-oriented error estimation and mesh adaptation tool for Firedrake. I am the lead developer of Goalie.