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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    825th villfa 493 1,006
    825th Axsag 🇫🇷 493 1,006
    825th Shanethegamer 🇺🇸 493 1,006
    825th fuzzylojik-golf 🇺🇸 493 1,006
    830th RYNO8 493 1,010
    830th FortuiteMan 493 1,010
    830th JunkIce 493 1,010
    830th ehulinsky 🇺🇸 493 1,010
    834th nwellnhof 🇩🇪 492 553
    835th JRaspass 🇬🇧 492 1,008
    835th ArturLange 492 1,008
    835th yeetmyyeet 492 1,008
    835th Redbowpatch101 492 1,008
    835th Waffle3z 492 1,008
    835th iTearo 🇷🇺 492 1,008
    835th KatieLG 🇬🇧 492 1,008
    835th YPuest 492 1,008
    835th kurkale6ka 492 1,008
    835th mokymok 🇺🇸 492 1,008
    835th Stockoh 🇫🇷 492 1,008
    835th akira-aizawa 🇯🇵 492 1,008
    835th voytxt 🇨🇿 492 1,008
    835th KatieLG-Transpiler 🇬🇧 492 1,008
    835th Yewzir 🇧🇪 492 1,008
    835th FortuiteMan 492 1,008
    835th snoozingnewt 🇺🇸 492 1,008
    835th dokutan 492 1,008
    835th madeforlosers 492 1,008
    835th HumanoidCPU 492 1,008
    835th bac0id 492 1,008
    835th Mabeloid 🇳🇴 492 1,008
    835th JunkIce 492 1,008
    835th CaedenHarper 🇨🇦 492 1,008
    835th heanyang1 492 1,008
    835th gigaprofisi 🇺🇸 492 1,008
    861st ToriTheChicken 492 1,009
    861st mothcolada 🇺🇸 492 1,009
    861st jb-lopez 🇺🇸 492 1,009
    861st ehulinsky 🇺🇸 492 1,009
    865th janbehrens 🇩🇪 491 345
    866th rhdqor213 491 554
    867th SpareManiKatti 491 1,010
    868th Mojken 491 1,011
    868th decorator-factory 491 1,011
    868th TheAristos 491 1,011
    868th UBKorkut 491 1,011
    872nd argusdusty 🇺🇸 490 673
    873rd Shanethegamer 🇺🇸 490 1,009
    873rd voytxt 🇨🇿 490 1,009
    873rd snoozingnewt 🇺🇸 490 1,009
    873rd HumanoidCPU 490 1,009
    873rd dokutan 490 1,009
    873rd adgh 🇬🇧 490 1,009
    873rd CaedenHarper 🇨🇦 490 1,009
    880th KatieLG-Transpiler 🇬🇧 489 1,029
    881st amishtal 488 330
    882nd Jonatan6 🇩🇰 488 558
    882nd orthoplex 🇨🇽 488 558
    882nd KasperKivimaeki 🇫🇮 488 558
    885th janbehrens 🇩🇪 488 591
    886th KatieLG 🇬🇧 488 1,013
    886th KatieLG-Transpiler 🇬🇧 488 1,013
    886th retrohun 488 1,013
    886th Yewzir 🇧🇪 488 1,013
    886th FortuiteMan 488 1,013
    886th madeforlosers 488 1,013
    886th bac0id 488 1,013
    886th Mabeloid 🇳🇴 488 1,013
    886th JunkIce 488 1,013
    886th heanyang1 488 1,013
    886th gigaprofisi 🇺🇸 488 1,013
    897th JRaspass 🇬🇧 488 1,018
    897th KatieLG-Transpiler 🇬🇧 488 1,018
    897th retrohun 488 1,018
    897th FortuiteMan 488 1,018