Rankings: Holes

√2 in AWK in chars.

#GolferLangPointsCharsTime
1st primo-ppcg 🇹🇭AWK1,00096
2nd sean-niemann 🇺🇸AWK941102
3rd MeWhenI 🇻🇦AWK372258
4th retrohunAWK951,014
4th Shanethegamer 🇺🇸AWK951,014
4th Yewzir 🇧🇪AWK951,014
4th voytxt 🇨🇿AWK951,014
4th fuzzylojik-golf 🇺🇸AWK951,014
9th cdesodt 🇫🇷AWK941,016
10th KatieLG 🇬🇧AWK941,018
10th olleicua 🇺🇸AWK941,018
10th HumanoidCPUAWK941,018
13th KatieLG-Transpiler 🇬🇧AWK941,021