UFL - Unified Form Language
MYSTRAN is a general purpose finite element analysis solver
FIAT is now maintained at https://github.com/firedrakeproject/