tool used for deringing, deblocking, denoising ?

[boardersparadise]

Hi. What tool is used (internally) for deringing, deblocking and denoising (in the "picture" tab, button "effects") ? I checked the console output, but was not able to identify what tool is used. Many thanks.