General Adaptive Solver: DOLFIN

Generality / flexibility
Object-oriented, C++
Automatic code generation from input of diff. eq.
GPL-license
Adaptivity, error control
Efficient solvers
For both research and education