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

    Rankings: Holes

    λ in all languages in bytes.

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