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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    970th JunkIce 477 1,019
    970th HumanoidCPU 477 1,019
    970th heanyang1 477 1,019
    970th gigaprofisi 🇺🇸 477 1,019
    980th stefangimmillaro 476 588
    981st dokutan 476 736
    982nd KatieLG 🇬🇧 476 1,004
    982nd KatieLG-Transpiler 🇬🇧 476 1,004
    982nd Mabeloid 🇳🇴 476 1,004
    982nd FortuiteMan 🇫🇷 476 1,004
    986th FortuiteMan 🇫🇷 476 1,022
    987th trinityy-7 475 339
    988th janbehrens 🇩🇪 475 573
    989th dokutan 475 608
    990th Yewzir 🇧🇪 474 1,010
    990th CaedenHarper 🇨🇦 474 1,010
    992nd KatieLG 🇬🇧 474 1,011
    992nd KatieLG-Transpiler 🇬🇧 474 1,011
    992nd klixel 🇨🇦 474 1,011
    992nd FortuiteMan 🇫🇷 474 1,011
    992nd voytxt 🇨🇿 474 1,011
    992nd snoozingnewt 🇺🇸 474 1,011
    992nd msbranicky 474 1,011
    992nd madeforlosers 474 1,011
    992nd HumanoidCPU 474 1,011
    992nd bac0id 474 1,011
    992nd Mabeloid 🇳🇴 474 1,011
    992nd JunkIce 474 1,011
    992nd heanyang1 474 1,011
    992nd gigaprofisi 🇺🇸 474 1,011
    1,006th KatieLG-Transpiler 🇬🇧 473 1,053
    1,007th two-bad 🇬🇧 471 360
    1,008th janbehrens 🇩🇪 471 404
    1,009th MeWhenI 🇻🇦 471 595
    1,010th Spruill-1 470 579
    1,011th LucaArgentiUCF 🇮🇹 469 1,037
    1,012th acollett89 466 364
    1,013th m-tkach 🇺🇦 466 584
    1,014th Shanethegamer 🇺🇸 465 373
    1,015th SirFireball3521 462 367
    1,015th BREMAUCY 🇫🇷 462 367
    1,017th emgordon154 462 589
    1,018th DialFrost 🇸🇬 461 368
    1,019th ei14 459 351
    1,020th tomh1012 459 369
    1,021st crizin 🇰🇷 459 687
    1,022nd dokutan 458 594
    1,023rd dokutan 456 615
    1,024th Waffle3z 455 1,070
    1,025th FortuiteMan 🇫🇷 453 920
    1,026th prplz 🇦🇺 452 730
    1,027th dokutan 452 922
    1,028th FortuiteMan 🇫🇷 451 357
    1,029th primo-ppcg 🇹🇭 451 731
    1,030th neel11235813 450 925
    1,031st adamnielson42 🇺🇸 448 359
    1,032nd error256 446 524
    1,033rd ndren 443 383
    1,034th KatieLG 🇬🇧 441 945
    1,035th Pena86 440 366
    1,036th CgTranspiler 440 947
    1,037th adriweb 🇫🇷 439 386
    1,038th primo-ppcg 🇹🇭 439 845
    1,039th cure-honey 🇯🇵 438 329
    1,040th Waffle3z 438 950
    1,041st CodyMiner 437 368
    1,041st neihousaigaai 437 368
    1,043rd RaBa21 🇭🇺 437 388
    1,044th MeWhenI 🇻🇦 435 758
    1,045th Yewzir 🇧🇪 434 856
    1,046th saito-ta 🇯🇵 433 1,396
    1,047th adamnielson42 🇺🇸 430 394
    1,048th piano-miles 428 376
    1,049th argusdusty 🇺🇸 426 658
    1,050th neihousaigaai 426 740