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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    973rd FortuiteMan 476 1,004
    977th FortuiteMan 476 1,022
    978th trinityy-7 475 339
    979th janbehrens 🇩🇪 475 573
    980th dokutan 475 608
    981st Yewzir 🇧🇪 474 1,010
    981st CaedenHarper 🇨🇦 474 1,010
    983rd KatieLG 🇬🇧 474 1,011
    983rd KatieLG-Transpiler 🇬🇧 474 1,011
    983rd klixel 🇨🇦 474 1,011
    983rd FortuiteMan 474 1,011
    983rd voytxt 🇨🇿 474 1,011
    983rd snoozingnewt 🇺🇸 474 1,011
    983rd msbranicky 474 1,011
    983rd madeforlosers 474 1,011
    983rd HumanoidCPU 474 1,011
    983rd bac0id 474 1,011
    983rd Mabeloid 🇳🇴 474 1,011
    983rd JunkIce 474 1,011
    983rd heanyang1 474 1,011
    983rd gigaprofisi 🇺🇸 474 1,011
    997th KatieLG-Transpiler 🇬🇧 473 1,053
    998th two-bad 🇬🇧 471 360
    999th janbehrens 🇩🇪 471 404
    1,000th MeWhenI 🇻🇦 471 595
    1,001st Spruill-1 470 579
    1,002nd LucaArgentiUCF 🇮🇹 469 1,037
    1,003rd acollett89 466 364
    1,004th m-tkach 🇺🇦 466 584
    1,005th Shanethegamer 🇺🇸 465 373
    1,006th SirFireball3521 462 367
    1,006th BREMAUCY 🇫🇷 462 367
    1,008th emgordon154 462 589
    1,009th DialFrost 🇸🇬 461 368
    1,010th tomh1012 459 369
    1,011th crizin 🇰🇷 459 687
    1,012th dokutan 458 594
    1,013th tomh1012 457 461
    1,014th dokutan 456 615
    1,015th Waffle3z 455 1,070
    1,016th prplz 🇦🇺 452 730
    1,017th primo-ppcg 🇹🇭 451 731
    1,018th dokutan 450 922
    1,019th neel11235813 449 925
    1,020th adamnielson42 🇺🇸 448 359
    1,021st error256 446 524
    1,022nd ndren 443 383
    1,023rd Pena86 440 366
    1,024th adriweb 🇫🇷 439 386
    1,025th primo-ppcg 🇹🇭 439 845
    1,026th KatieLG 🇬🇧 439 945
    1,027th cure-honey 🇯🇵 438 329
    1,028th CgTranspiler 438 947
    1,029th CodyMiner 437 368
    1,029th neihousaigaai 437 368
    1,031st RaBa21 🇭🇺 437 388
    1,032nd Waffle3z 437 950
    1,033rd MeWhenI 🇻🇦 435 758
    1,034th Yewzir 🇧🇪 434 856
    1,035th saito-ta 🇯🇵 432 1,396
    1,036th adamnielson42 🇺🇸 430 394
    1,037th piano-miles 428 376
    1,038th argusdusty 🇺🇸 426 658
    1,039th neihousaigaai 426 740
    1,040th frankgraziano 425 399
    1,041st squid233 425 742
    1,042nd janbehrens 🇩🇪 424 497
    1,043rd clockworknazo 424 598
    1,044th aksyristos 422 402
    1,045th eiburns 421 403
    1,046th primo-ppcg 🇹🇭 421 2,322
    1,047th FortuiteMan 416 387
    1,048th falsidge 413 390
    1,049th h3ra993huskp 🇯🇵 413 763
    1,050th nwellnhof 🇩🇪 413 764