Hallo Mohammad,
Even in the absence of any turbulence model, I'd say the Tangaroa example qualifies as an LES,
Its not a too bad idea to let diffusive numerical schemes dissipate the second-order-moment carrying structures as the are "cascaded" (resolved) towards the grid scale.
For the dynamic Smagorinsky model see Arne Abockmann's sandbox,
At the risk of overly emphasizing my own efforts,
There is the Vreman SGS model,
which may be implemented via
Or via Arne's improved version:
A test regarding Kolmogorov's scaling law for the second-order structure function is presented here:
It failed or passed, depending on your standards.
Note that with the "preliminary result disclaimer", there is a page in this work dealing with Basilisk + LES:
Finally, I am working on a sandbox page (and accompanying manuscript) presenting these LES results:
The soundtrack is composed by Debussy and the methods will be uploaded soon.
I share the concerns of Wojciech, but go with the philosophy that the fidelity of an LES should come from the resolved large eddies.
Antoon