The SOFA is in the SOPA
The python3 open processing suite for SHARAD data SOPA now includes also the focuser SOFA!
Working with SHARAD data, starting from raw unfocused echoes to (squinted) processed radargrams is now only a few lines of code away.
Check it out on the SOPA project page.
By now, SOFA can focus only night time radargrams as no correction of ionosphere effects has been implemented yet... let me work on that ;)