The sources of BfdAda are available here.