GLACIER, a FENICS code which defines the steady 2D Stokes equations for a model of the motion of ice in a glacier, by William Mitchell.
Since this example was published, FENICS has changed, and several commands used in the example no longer work. This seems to happen A LOT.
GLACIER solves the steady 2D Stokes equation that represent the motion of ice in a glacer,