They are in .exe format instead of .bat
Download them if you want to.
Scan them with Malwarebytes or any other anti-virus.
If you want the Raw Batch Files then go here: Here
Oklomsy’s Batch Files by Abdul Karim Kikar is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Based on a work at https://oklomsy.com/my-batch-programs/.
Permissions beyond the scope of this license may be available at http://xysaga.xyz/batch/raw.html.