The SyFi Form Compiler (SFC) is a form compiler from the FEniCS project, compiling variational forms from the Unified Form Language (UFL) to efficient C++ implementations of Unified Form-assembly Code (UFC). SFC uses symbolic expressions for finite elements from SyFi.