Bansal, A., & Barnafi Wittwer, N. A. Nitsche method for Navier-Stokes equations with slip boundary conditions: convergence analysis and VMS-LES stabilization [Computer software]. https://github.com/nabw/navier-stokes-nitsche-vms