SFP is a declarative configuration language. This is a repository of SFP compiler based on the formal semantics.