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
    994th tomh1012 459 369
    995th crizin 🇰🇷 459 687
    996th dokutan 458 594
    997th tomh1012 457 461
    998th dokutan 455 615
    999th Waffle3z 454 1,070
    1,000th prplz 🇦🇺 452 730
    1,001st primo-ppcg 🇹🇭 451 731
    1,002nd dokutan 449 922
    1,003rd adamnielson42 🇺🇸 448 359
    1,004th neel11235813 447 925
    1,005th error256 446 524
    1,006th ndren 442 383
    1,007th Pena86 440 366
    1,008th adriweb 🇫🇷 439 386
    1,009th primo-ppcg 🇹🇭 439 845
    1,010th cure-honey 🇯🇵 438 329
    1,011th KatieLG 🇬🇧 438 945
    1,012th CodyMiner 437 368
    1,012th neihousaigaai 437 368
    1,014th RaBa21 🇭🇺 437 388
    1,015th CgTranspiler 437 947
    1,016th Waffle3z 436 950
    1,017th MeWhenI 🇻🇦 435 758
    1,018th Yewzir 🇧🇪 433 856
    1,019th saito-ta 🇯🇵 432 1,396
    1,020th adamnielson42 🇺🇸 430 394
    1,021st piano-miles 428 376
    1,022nd neihousaigaai 426 740
    1,023rd frankgraziano 425 399
    1,024th argusdusty 🇺🇸 425 658
    1,025th squid233 425 742
    1,026th janbehrens 🇩🇪 424 497
    1,027th clockworknazo 424 598
    1,028th aksyristos 422 402
    1,029th eiburns 421 403
    1,030th primo-ppcg 🇹🇭 421 2,322
    1,031st cdesodt 416 387
    1,032nd falsidge 413 390
    1,033rd h3ra993huskp 🇯🇵 413 763
    1,034th msrawson 412 391
    1,035th nwellnhof 🇩🇪 412 764
    1,035th Irratix 🇳🇱 412 764
    1,037th msbranicky 411 680
    1,038th InigoK 🇺🇸 407 395
    1,039th martinnorling 🇸🇪 406 396
    1,040th CatsAreFluffy 405 473
    1,041st FlorianCassayre 🇫🇷 405 2,412
    1,042nd prplz 🇦🇺 405 2,413
    1,043rd ETHproductions 🇺🇸 404 420
    1,044th prplz 🇦🇺 402 477
    1,045th orthoplex 🇨🇽 402 2,431
    1,046th msbranicky 398 683
    1,047th Yewzir 🇧🇪 397 728
    1,048th djeedjay 🇳🇱 396 687
    1,049th Alex-x90 🇺🇸 396 729
    1,050th bendapootie 394 2,483