SolReSol
SolReSol-English Translator
English-SolReSol Translator