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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time Submitted
    945th dokutan 493 1,008
    945th madeforlosers 493 1,008
    945th HumanoidCPU 493 1,008
    945th bac0id 493 1,008
    945th Mabeloid 🇳🇴 493 1,008
    945th JunkIce 493 1,008
    945th CaedenHarper 🇨🇦 493 1,008
    945th heanyang1 493 1,008
    945th gigaprofisi 🇺🇸 493 1,008
    945th Babafaba 493 1,008
    945th JOrE20 493 1,008
    972nd ToriTheChicken 493 1,009
    972nd mothcolada 🇺🇸 493 1,009
    972nd jb-lopez 🇺🇸 493 1,009
    972nd ehulinsky 🇺🇸 493 1,009
    976th janbehrens 🇩🇪 492 345
    977th rhdqor213 492 554
    978th SpareManiKatti 492 1,010
    979th Mojken 492 1,011
    979th decorator-factory 492 1,011
    979th TheAristos 492 1,011
    979th UBKorkut 492 1,011
    983rd jusaka 492 1,027
    984th argusdusty 🇺🇸 491 673
    985th jusaka 491 1,013
    986th KatieLG-Transpiler 🇬🇧 491 1,029
    987th KatieLG 🇬🇧 490 1,003
    988th JRaspass 🇬🇧 490 1,018
    988th KatieLG-Transpiler 🇬🇧 490 1,018
    988th retrohun 490 1,018
    988th FortuiteMan 🇫🇷 490 1,018
    988th voytxt 🇨🇿 490 1,018
    988th Shanethegamer 🇺🇸 490 1,018
    988th madeforlosers 490 1,018
    988th HumanoidCPU 490 1,018
    988th bac0id 490 1,018
    988th Mabeloid 🇳🇴 490 1,018
    988th CaedenHarper 🇨🇦 490 1,018
    988th JunkIce 490 1,018
    988th heanyang1 490 1,018
    988th JOrE20 490 1,018
    1,002nd janbehrens 🇩🇪 489 591
    1,003rd jusaka 489 1,020
    1,004th amishtal 488 330
    1,005th Jonatan6 🇩🇰 488 558
    1,005th orthoplex 🇨🇽 488 558
    1,005th KasperKivimaeki 🇫🇮 488 558
    1,008th LeeCamp 487 331
    1,008th croc54 487 331
    1,008th JunkIce 487 331
    1,011th urojony 🇵🇱 487 559
    1,011th stefangimmillaro 487 559
    1,013th Shanethegamer 🇺🇸 487 1,009
    1,013th voytxt 🇨🇿 487 1,009
    1,013th HumanoidCPU 487 1,009
    1,013th dokutan 487 1,009
    1,013th adgh 🇬🇧 487 1,009
    1,013th CaedenHarper 🇨🇦 487 1,009
    1,019th jusaka 486 1,011
    1,020th JunkIce 485 328
    1,021st edre 485 332
    1,022nd pandapawskat 485 562
    1,022nd Herbert00709 🇵🇱 485 562
    1,024th KatieLG-Transpiler 🇬🇧 485 1,013
    1,024th retrohun 485 1,013
    1,024th Yewzir 🇧🇪 485 1,013
    1,024th FortuiteMan 🇫🇷 485 1,013
    1,024th madeforlosers 485 1,013
    1,024th bac0id 485 1,013
    1,024th Mabeloid 🇳🇴 485 1,013
    1,024th JunkIce 485 1,013
    1,024th heanyang1 485 1,013
    1,024th gigaprofisi 🇺🇸 485 1,013
    1,024th JOrE20 485 1,013
    1,035th FortuiteMan 🇫🇷 485 1,069
    1,036th tomh1012 484 333
    1,037th jared-hughes 484 563
    1,037th MeWhenI 🇻🇦 484 563
    1,037th inventshah 484 563
    1,040th JOrE20 484 994