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

    Rankings: Holes

    λ in all languages in bytes.

    # Golfer Points Bytes Time Submitted
    1,100th CaedenHarper 🇨🇦 471 1,010
    1,102nd KatieLG 🇬🇧 471 1,011
    1,102nd KatieLG-Transpiler 🇬🇧 471 1,011
    1,102nd klixel 🇨🇦 471 1,011
    1,102nd FortuiteMan 🇫🇷 471 1,011
    1,102nd voytxt 🇨🇿 471 1,011
    1,102nd snoozingnewt 🇨🇦 471 1,011
    1,102nd msbranicky 471 1,011
    1,102nd madeforlosers 471 1,011
    1,102nd HumanoidCPU 471 1,011
    1,102nd bac0id 471 1,011
    1,102nd Mabeloid 🇳🇴 471 1,011
    1,102nd JunkIce 471 1,011
    1,102nd heanyang1 471 1,011
    1,102nd gigaprofisi 🇺🇸 471 1,011
    1,116th JOrE20 470 1,012
    1,117th MeWhenI 🇻🇦 469 595
    1,118th Shanethegamer 🇺🇸 468 530
    1,119th Spruill-1 468 579
    1,120th LucaArgentiUCF 🇮🇹 468 1,037
    1,121st janbehrens 🇩🇪 466 404
    1,122nd Shanethegamer 🇺🇸 466 683
    1,123rd olivermrose 🇺🇸 464 296
    1,124th m-tkach 🇺🇦 464 584
    1,125th msbranicky 464 593
    1,126th jatloe 462 320
    1,127th MeWhenI 🇻🇦 461 313
    1,128th emgordon154 460 589
    1,129th albanian-laundromat 🇺🇸 458 609
    1,130th janbehrens 🇩🇪 456 345
    1,131st dokutan 456 594
    1,132nd dokutan 455 604
    1,133rd jakobkordez 🇸🇮 453 326
    1,134th dokutan 453 615
    1,135th Waffle3z 453 1,070
    1,136th dokutan 451 922
    1,136th JOrE20 451 922
    1,138th neel11235813 450 925
    1,139th amishtal 448 330
    1,140th Protothor 448 351
    1,141st LeeCamp 447 331
    1,141st croc54 447 331
    1,141st JunkIce 447 331
    1,144th JOrE20 446 319
    1,145th JunkIce 445 328
    1,146th edre 445 332
    1,146th tomh1012 445 332
    1,148th Andrey2001 443 334
    1,149th codewrite 🇬🇧 443 355
    1,150th tomh1012 440 332
    1,151st KatieLG 🇬🇧 440 945
    1,152nd CgTranspiler 439 947
    1,153rd Waffle3z 438 950
    1,154th two-bad 🇬🇧 437 360
    1,155th trinityy-7 436 339
    1,156th dokutan 433 736
    1,157th cure-honey 🇯🇵 432 329
    1,158th acollett89 432 364
    1,159th saito-ta 🇯🇵 432 1,396
    1,160th Andrey2001 431 339
    1,161st SirFireball3521 428 367
    1,161st BREMAUCY 🇫🇷 428 367
    1,163rd DialFrost 🇸🇬 427 368
    1,164th tomh1012 426 369
    1,165th argusdusty 🇺🇸 424 658
    1,166th DelaneyJM 423 415
    1,167th janbehrens 🇩🇪 421 497
    1,168th primo-ppcg 🇹🇭 421 2,322
    1,169th snoozingnewt 🇨🇦 420 374
    1,170th dokutan 416 596
    1,171st FortuiteMan 🇫🇷 414 357
    1,172nd prestosilver 🇺🇸 414 380
    1,173rd adamnielson42 🇺🇸 412 359
    1,174th ndren 410 383
    1,175th msbranicky 410 680
    1,176th argusdusty 🇺🇸 409 673
    1,177th adriweb 🇫🇷 407 386
    1,178th RaBa21 🇭🇺 405 388
    1,179th madeforlosers 405 1,027
    1,180th FlorianCassayre 🇫🇷 405 2,412
    1,181st prplz 🇦🇺 405 2,413
    1,182nd Haksell 404 340
    1,183rd Pena86 404 366
    1,184th CodyMiner 402 368
    1,184th neihousaigaai 402 368
    1,186th orthoplex 🇨🇽 402 2,431
    1,187th CatsAreFluffy 401 473
    1,188th adamnielson42 🇺🇸 399 394
    1,189th prplz 🇦🇺 398 477
    1,190th msbranicky 397 683
    1,191st Shanethegamer 🇺🇸 396 373
    1,192nd Yewzir 🇧🇪 395 728
    1,193rd frankgraziano 394 399
    1,194th djeedjay 🇳🇱 394 687
    1,195th Alex-x90 🇺🇸 394 729
    1,196th bendapootie 394 2,483
    1,197th piano-miles 393 376
    1,198th aksyristos 391 402
    1,199th gastropner 391 692
    1,200th Irratix 🇳🇱 391 735