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
    2,001st krissemicolon 177 1,010
    2,002nd SpareManiKatti 177 1,011
    2,003rd Msleizak 🇫🇷 177 1,066
    2,003rd jtaxen 177 1,066
    2,003rd Brain-Boy-53 177 1,066
    2,006th JOrE20 177 1,067
    2,007th adamnielson42 🇺🇸 177 1,068
    2,008th dokutan 176 950
    2,009th KatieLG 🇬🇧 176 1,007
    2,009th UBKorkut 176 1,007
    2,009th mothcolada 🇺🇸 176 1,007
    2,012th ToriTheChicken 176 1,009
    2,012th KatieLG-Transpiler 🇬🇧 176 1,009
    2,014th SpareManiKatti 176 1,010
    2,015th gigaprofisi 🇺🇸 176 1,015
    2,016th retrohun 175 1,013
    2,016th 1231234md5 🇨🇳 175 1,013
    2,018th Waffle3z 175 1,015
    2,018th FortuiteMan 🇫🇷 175 1,015
    2,018th JunkIce 175 1,015
    2,021st bac0id 175 1,019
    2,022nd Omega65536 🇩🇪 173 1,029
    2,023rd mothcolada 🇺🇸 173 1,100
    2,024th KatieLG 🇬🇧 172 1,007
    2,025th retrohun 172 1,008
    2,025th lancew 🇳🇿 172 1,008
    2,025th ToriTheChicken 172 1,008
    2,025th Waffle3z 172 1,008
    2,025th mothcolada 🇺🇸 172 1,008
    2,025th Indivicivet 172 1,008
    2,025th kurkale6ka 172 1,008
    2,025th scpchicken 🇵🇼 172 1,008
    2,025th mokymok 🇺🇸 172 1,008
    2,025th MeWhenI 🇻🇦 172 1,008
    2,025th voytxt 🇨🇿 172 1,008
    2,025th KatieLG-Transpiler 🇬🇧 172 1,008
    2,025th Yewzir 🇧🇪 172 1,008
    2,025th madeforlosers 172 1,008
    2,025th HumanoidCPU 172 1,008
    2,025th bac0id 172 1,008
    2,025th Mabeloid 🇳🇴 172 1,008
    2,025th CaedenHarper 🇨🇦 172 1,008
    2,025th JunkIce 172 1,008
    2,025th heanyang1 172 1,008
    2,025th gigaprofisi 🇺🇸 172 1,008
    2,025th JOrE20 172 1,008
    2,047th FortuiteMan 🇫🇷 172 1,009
    2,047th ehulinsky 🇺🇸 172 1,009
    2,049th Mojken 172 1,011
    2,049th decorator-factory 172 1,011
    2,049th ElevatorShaft 172 1,011
    2,049th TheAristos 172 1,011
    2,049th SpareManiKatti 172 1,011
    2,049th RYNO8 172 1,011
    2,055th JOrE20 171 944
    2,056th bac0id 171 1,009
    2,056th HumanoidCPU 171 1,009
    2,058th KatieLG 🇬🇧 171 1,010
    2,058th KatieLG-Transpiler 🇬🇧 171 1,010
    2,058th snoozingnewt 🇨🇦 171 1,010
    2,058th adriweb 🇫🇷 171 1,010
    2,058th voytxt 🇨🇿 171 1,010
    2,058th FortuiteMan 🇫🇷 171 1,010
    2,058th msbranicky 171 1,010
    2,058th MeWhenI 🇻🇦 171 1,010
    2,058th madeforlosers 171 1,010
    2,058th Mabeloid 🇳🇴 171 1,010
    2,058th CaedenHarper 🇨🇦 171 1,010
    2,058th JunkIce 171 1,010
    2,058th sciencejiho 171 1,010
    2,058th heanyang1 171 1,010
    2,058th gigaprofisi 🇺🇸 171 1,010
    2,058th JOrE20 171 1,010
    2,074th JOrE20 168 944
    2,075th jackkav 168 1,009
    2,075th JRaspass 🇬🇧 168 1,009
    2,075th jn-lp 🇺🇦 168 1,009
    2,075th UBKorkut 168 1,009
    2,075th BBoehm 🇩🇪 168 1,009
    2,075th SpareManiKatti 168 1,009