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