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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time
    969th madeforlosers 473 1,011
    969th HumanoidCPU 473 1,011
    969th bac0id 473 1,011
    969th Mabeloid 🇳🇴 473 1,011
    969th JunkIce 473 1,011
    969th heanyang1 473 1,011
    982nd KatieLG-Transpiler 🇬🇧 473 1,053
    983rd two-bad 🇬🇧 471 360
    984th janbehrens 🇩🇪 471 404
    985th Spruill-1 470 579
    986th MeWhenI 🇻🇦 470 595
    987th LucaArgentiUCF 🇮🇹 468 1,037
    988th m-tkach 🇺🇦 466 584
    989th Shanethegamer 🇺🇸 465 373
    990th SirFireball3521 462 367
    990th BREMAUCY 🇫🇷 462 367
    992nd emgordon154 462 589
    993rd DialFrost 🇸🇬 461 368
    993rd acollett89 461 368
    995th tomh1012 459 369
    996th crizin 🇰🇷 459 687
    997th dokutan 458 594
    998th tomh1012 457 461
    999th dokutan 455 615
    1,000th Waffle3z 454 1,070
    1,001st prplz 🇦🇺 452 730
    1,002nd primo-ppcg 🇹🇭 451 731
    1,003rd dokutan 449 922
    1,004th adamnielson42 🇺🇸 448 359
    1,005th neel11235813 447 925
    1,006th error256 446 524
    1,007th ndren 443 383
    1,008th Pena86 440 366
    1,009th adriweb 🇫🇷 439 386
    1,010th primo-ppcg 🇹🇭 439 845
    1,011th cure-honey 🇯🇵 438 329
    1,012th KatieLG 🇬🇧 438 945
    1,013th CodyMiner 437 368
    1,013th neihousaigaai 437 368
    1,015th RaBa21 🇭🇺 437 388
    1,016th CgTranspiler 437 947
    1,017th Waffle3z 436 950
    1,018th MeWhenI 🇻🇦 435 758
    1,019th Yewzir 🇧🇪 433 856
    1,020th saito-ta 🇯🇵 432 1,396
    1,021st adamnielson42 🇺🇸 430 394
    1,022nd piano-miles 428 376
    1,023rd neihousaigaai 426 740
    1,024th frankgraziano 425 399
    1,025th argusdusty 🇺🇸 425 658
    1,026th squid233 425 742
    1,027th janbehrens 🇩🇪 424 497
    1,028th clockworknazo 424 598
    1,029th aksyristos 422 402
    1,030th eiburns 421 403
    1,031st primo-ppcg 🇹🇭 421 2,322
    1,032nd cdesodt 416 387
    1,033rd falsidge 413 390
    1,034th h3ra993huskp 🇯🇵 413 763
    1,035th msrawson 412 391
    1,036th nwellnhof 🇩🇪 412 764
    1,036th Irratix 🇳🇱 412 764
    1,038th msbranicky 411 680
    1,039th InigoK 🇺🇸 407 395
    1,040th martinnorling 🇸🇪 406 396
    1,041st CatsAreFluffy 405 473
    1,042nd FlorianCassayre 🇫🇷 405 2,412
    1,043rd prplz 🇦🇺 405 2,413
    1,044th ETHproductions 🇺🇸 404 420
    1,045th prplz 🇦🇺 402 477
    1,046th orthoplex 🇨🇽 402 2,431
    1,047th msbranicky 398 683
    1,048th Yewzir 🇧🇪 397 728
    1,049th djeedjay 🇳🇱 396 687
    1,050th Alex-x90 🇺🇸 396 729