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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    813th Mabeloid 🇳🇴 495 1,008
    813th CaedenHarper 🇨🇦 495 1,008
    813th JunkIce 495 1,008
    813th janAkali 🇷🇺 495 1,008
    813th heanyang1 495 1,008
    813th gigaprofisi 🇺🇸 495 1,008
    813th snoozingnewt 🇺🇸 495 1,008
    833rd jakobkordez 🇸🇮 494 326
    834th mokymok 🇺🇸 494 1,009
    834th sciencejiho 494 1,009
    834th heanyang1 494 1,009
    834th gigaprofisi 🇺🇸 494 1,009
    838th RYNO8 494 1,010
    838th FortuiteMan 🇫🇷 494 1,010
    838th JunkIce 494 1,010
    838th ehulinsky 🇺🇸 494 1,010
    842nd roupiq 🇵🇱 493 586
    843rd cure-honey 🇯🇵 493 987
    844th retrohun 493 1,006
    844th villfa 493 1,006
    844th Axsag 🇫🇷 493 1,006
    844th Shanethegamer 🇺🇸 493 1,006
    844th fuzzylojik-golf 🇺🇸 493 1,006
    849th nwellnhof 🇩🇪 492 553
    850th JRaspass 🇬🇧 492 1,008
    850th ArturLange 492 1,008
    850th ElevatorShaft 492 1,008
    850th Redbowpatch101 492 1,008
    850th Waffle3z 492 1,008
    850th iTearo 🇷🇺 492 1,008
    850th KatieLG 🇬🇧 492 1,008
    850th YPuest 492 1,008
    850th kurkale6ka 492 1,008
    850th mokymok 🇺🇸 492 1,008
    850th Stockoh 🇫🇷 492 1,008
    850th akira-aizawa 🇯🇵 492 1,008
    850th voytxt 🇨🇿 492 1,008
    850th KatieLG-Transpiler 🇬🇧 492 1,008
    850th Yewzir 🇧🇪 492 1,008
    850th FortuiteMan 🇫🇷 492 1,008
    850th snoozingnewt 🇺🇸 492 1,008
    850th dokutan 492 1,008
    850th madeforlosers 492 1,008
    850th HumanoidCPU 492 1,008
    850th bac0id 492 1,008
    850th Mabeloid 🇳🇴 492 1,008
    850th JunkIce 492 1,008
    850th CaedenHarper 🇨🇦 492 1,008
    850th heanyang1 492 1,008
    850th gigaprofisi 🇺🇸 492 1,008
    876th ToriTheChicken 492 1,009
    876th mothcolada 🇺🇸 492 1,009
    876th jb-lopez 🇺🇸 492 1,009
    876th ehulinsky 🇺🇸 492 1,009
    880th janbehrens 🇩🇪 491 345
    881st rhdqor213 491 554
    882nd SpareManiKatti 491 1,010
    883rd Mojken 491 1,011
    883rd decorator-factory 491 1,011
    883rd TheAristos 491 1,011
    883rd UBKorkut 491 1,011
    887th argusdusty 🇺🇸 490 673
    888th Shanethegamer 🇺🇸 490 1,009
    888th voytxt 🇨🇿 490 1,009
    888th snoozingnewt 🇺🇸 490 1,009
    888th HumanoidCPU 490 1,009
    888th dokutan 490 1,009
    888th adgh 🇬🇧 490 1,009
    888th CaedenHarper 🇨🇦 490 1,009
    895th KatieLG-Transpiler 🇬🇧 489 1,029
    896th amishtal 488 330
    897th Jonatan6 🇩🇰 488 558
    897th orthoplex 🇨🇽 488 558
    897th KasperKivimaeki 🇫🇮 488 558
    900th janbehrens 🇩🇪 488 591