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
    944th madeforlosers 493 1,008
    944th HumanoidCPU 493 1,008
    944th bac0id 493 1,008
    944th Mabeloid 🇳🇴 493 1,008
    944th JunkIce 493 1,008
    944th CaedenHarper 🇨🇦 493 1,008
    944th heanyang1 493 1,008
    944th gigaprofisi 🇺🇸 493 1,008
    944th Babafaba 493 1,008
    944th JOrE20 493 1,008
    971st ToriTheChicken 493 1,009
    971st mothcolada 🇺🇸 493 1,009
    971st jb-lopez 🇺🇸 493 1,009
    971st ehulinsky 🇺🇸 493 1,009
    975th janbehrens 🇩🇪 492 345
    976th rhdqor213 492 554
    977th SpareManiKatti 492 1,010
    978th Mojken 492 1,011
    978th decorator-factory 492 1,011
    978th TheAristos 492 1,011
    978th UBKorkut 492 1,011
    982nd jusaka 492 1,027
    983rd argusdusty 🇺🇸 491 673
    984th jusaka 491 1,013
    985th KatieLG-Transpiler 🇬🇧 491 1,029
    986th KatieLG 🇬🇧 490 1,003
    987th JRaspass 🇬🇧 490 1,018
    987th KatieLG-Transpiler 🇬🇧 490 1,018
    987th retrohun 490 1,018
    987th FortuiteMan 🇫🇷 490 1,018
    987th voytxt 🇨🇿 490 1,018
    987th Shanethegamer 🇺🇸 490 1,018
    987th madeforlosers 490 1,018
    987th HumanoidCPU 490 1,018
    987th bac0id 490 1,018
    987th Mabeloid 🇳🇴 490 1,018
    987th CaedenHarper 🇨🇦 490 1,018
    987th JunkIce 490 1,018
    987th heanyang1 490 1,018
    987th JOrE20 490 1,018
    1,001st janbehrens 🇩🇪 489 591
    1,002nd jusaka 489 1,020
    1,003rd amishtal 488 330
    1,004th Jonatan6 🇩🇰 488 558
    1,004th orthoplex 🇨🇽 488 558
    1,004th KasperKivimaeki 🇫🇮 488 558
    1,007th LeeCamp 487 331
    1,007th croc54 487 331
    1,007th JunkIce 487 331
    1,010th urojony 🇵🇱 487 559
    1,010th stefangimmillaro 487 559
    1,012th Shanethegamer 🇺🇸 487 1,009
    1,012th voytxt 🇨🇿 487 1,009
    1,012th HumanoidCPU 487 1,009
    1,012th dokutan 487 1,009
    1,012th adgh 🇬🇧 487 1,009
    1,012th CaedenHarper 🇨🇦 487 1,009
    1,018th jusaka 486 1,011
    1,019th JunkIce 485 328
    1,020th edre 485 332
    1,021st pandapawskat 485 562
    1,021st Herbert00709 🇵🇱 485 562
    1,023rd KatieLG-Transpiler 🇬🇧 485 1,013
    1,023rd retrohun 485 1,013
    1,023rd Yewzir 🇧🇪 485 1,013
    1,023rd FortuiteMan 🇫🇷 485 1,013
    1,023rd madeforlosers 485 1,013
    1,023rd bac0id 485 1,013
    1,023rd Mabeloid 🇳🇴 485 1,013
    1,023rd JunkIce 485 1,013
    1,023rd heanyang1 485 1,013
    1,023rd gigaprofisi 🇺🇸 485 1,013
    1,023rd JOrE20 485 1,013
    1,034th FortuiteMan 🇫🇷 485 1,069
    1,035th tomh1012 484 333
    1,036th jared-hughes 484 563
    1,036th MeWhenI 🇻🇦 484 563
    1,036th inventshah 484 563
    1,039th JOrE20 484 994
    1,039th KatieLG 🇬🇧 484 994