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
    1,092nd gigaprofisi 🇺🇸 476 1,019
    1,092nd JOrE20 476 1,019
    1,103rd dcc5480 475 311
    1,104th elgan65536 🇺🇸 475 579
    1,105th msbranicky 475 605
    1,106th voytxt 🇨🇿 474 330
    1,107th roupiq 🇵🇱 474 571
    1,108th stefangimmillaro 474 588
    1,109th FortuiteMan 🇫🇷 474 1,022
    1,110th janbehrens 🇩🇪 473 573
    1,111th dokutan 473 608
    1,112th KatieLG-Transpiler 🇬🇧 473 1,053
    1,113th Yewzir 🇧🇪 471 1,010
    1,113th CaedenHarper 🇨🇦 471 1,010
    1,115th KatieLG 🇬🇧 471 1,011
    1,115th KatieLG-Transpiler 🇬🇧 471 1,011
    1,115th klixel 🇨🇦 471 1,011
    1,115th FortuiteMan 🇫🇷 471 1,011
    1,115th voytxt 🇨🇿 471 1,011
    1,115th snoozingnewt 🇨🇦 471 1,011
    1,115th msbranicky 471 1,011
    1,115th madeforlosers 471 1,011
    1,115th HumanoidCPU 471 1,011
    1,115th bac0id 471 1,011
    1,115th Mabeloid 🇳🇴 471 1,011
    1,115th JunkIce 471 1,011
    1,115th heanyang1 471 1,011
    1,115th gigaprofisi 🇺🇸 471 1,011
    1,129th JOrE20 470 1,012
    1,130th MeWhenI 🇻🇦 469 595
    1,131st Shanethegamer 🇺🇸 468 530
    1,132nd Spruill-1 468 579
    1,133rd LucaArgentiUCF 🇮🇹 468 1,037
    1,134th KrausRaus 🇺🇸 467 335
    1,135th Shanethegamer 🇺🇸 466 683
    1,136th olivermrose 🇺🇸 464 296
    1,137th m-tkach 🇺🇦 464 584
    1,138th msbranicky 464 593
    1,139th jatloe 462 320
    1,140th MeWhenI 🇻🇦 461 313
    1,141st emgordon154 460 589
    1,142nd janbehrens 🇩🇪 459 404
    1,143rd albanian-laundromat 🇺🇸 458 609
    1,144th dokutan 456 594
    1,145th dokutan 455 604
    1,146th jesterjunk 454 597
    1,147th jakobkordez 🇸🇮 453 326
    1,148th janbehrens 🇩🇪 453 345
    1,149th dokutan 453 615
    1,150th Waffle3z 453 1,070
    1,151st dokutan 451 922
    1,151st JOrE20 451 922
    1,153rd neel11235813 450 925
    1,154th amishtal 448 330
    1,155th LeeCamp 447 331
    1,155th croc54 447 331
    1,155th JunkIce 447 331
    1,158th JunkIce 445 328
    1,159th edre 445 332
    1,159th tomh1012 445 332
    1,161st Protothor 445 351
    1,162nd Andrey2001 443 334
    1,163rd tomh1012 440 332
    1,164th codewrite 🇬🇧 440 355
    1,165th KatieLG 🇬🇧 440 945
    1,166th CgTranspiler 439 947
    1,167th Waffle3z 438 950
    1,168th trinityy-7 436 339
    1,169th two-bad 🇬🇧 434 360
    1,170th dokutan 433 736
    1,171st saito-ta 🇯🇵 432 1,396
    1,172nd Andrey2001 431 339
    1,173rd acollett89 429 364
    1,174th SirFireball3521 426 367
    1,174th BREMAUCY 🇫🇷 426 367
    1,176th DialFrost 🇸🇬 425 368
    1,177th tomh1012 424 369
    1,178th argusdusty 🇺🇸 424 658
    1,179th ei14 421 351
    1,180th janbehrens 🇩🇪 421 497
    1,181st primo-ppcg 🇹🇭 421 2,322
    1,182nd cure-honey 🇯🇵 419 329
    1,183rd snoozingnewt 🇨🇦 418 374
    1,184th dokutan 416 596
    1,185th FortuiteMan 🇫🇷 414 357
    1,186th adamnielson42 🇺🇸 412 359
    1,187th prestosilver 🇺🇸 411 380
    1,188th msbranicky 410 680
    1,189th argusdusty 🇺🇸 409 673
    1,190th ndren 408 383
    1,191st adriweb 🇫🇷 405 386
    1,192nd madeforlosers 405 1,027
    1,193rd FlorianCassayre 🇫🇷 405 2,412
    1,194th prplz 🇦🇺 405 2,413
    1,195th Haksell 404 340
    1,196th Pena86 404 366
    1,197th DelaneyJM 404 415
    1,198th RaBa21 🇭🇺 403 388
    1,199th CodyMiner 402 368
    1,199th neihousaigaai 402 368