Ctrl+P again to print, arrows/tab to navigate results, enter to confirm

    Rankings: Holes

    Pangram Grep in F# in bytes.

    # Golfer Points Bytes Time
    1st JDiLenarda 🇫🇷 1,000 89
    2nd primo-ppcg 🇹🇭 989 90
    2nd lynn 989 90
    2nd Shanethegamer 🇺🇸 989 90
    2nd SirBogman 🇺🇸 989 90
    2nd prplz 🇦🇺 989 90
    2nd JayXon 🇺🇸 989 90
    2nd Steffan153 🇫🇮 989 90
    2nd Lydxn 🇨🇦 989 90
    10th HumanoidCPU 957 93
    11th DialFrost 🇸🇬 947 94
    12th heanyang1 908 98
    13th yzhs 🇩🇪 856 104
    14th fuchen 848 105
    14th MeWhenI 🇻🇦 848 105
    16th brianberns 736 121
    17th Natanaelel 🇸🇪 627 142
    18th RaBa21 🇭🇺 597 149
    19th BREMAUCY 🇫🇷 543 164
    20th Andriamanitra 🇫🇮 520 171
    21st ridingqwerty 🇺🇸 514 173
    22nd albanian-laundromat 478 186
    23rd AidanWalter 278 320
    24th KatieLG 🇬🇧 261 341