wfst (cargo): An implementation of Weighted Finite-State Transducers (WFSTs) as described in:  Mehryar Mohri, Fernando Pereira, and Michael Riley. "The design principles of a weighted finite-state transducer library," In: Theoretical Computer Science vol. 231 issue 1 (2000): pp. 17-32. 
Keywords: wfst|fst