Rankings: Holes

Gijswijt’s Sequence in TeX in chars.

#GolferLangPointsCharsTime
1st jared-hughesTeX1,000133
2nd MeWhenI 🇻🇦TeX801166
3rd ovs-code 🇩🇪TeX727183
4th jmerle 🇳🇱TeX367362
5th dokutanTeX931,430
6th KatieLG 🇬🇧TeX442,998
6th KatieLG-Transpiler 🇬🇧TeX442,998