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,081st retrohun 175 1,013
    2,081st 1231234md5 🇨🇳 175 1,013
    2,083rd Waffle3z 175 1,015
    2,083rd FortuiteMan 🇫🇷 175 1,015
    2,083rd JunkIce 175 1,015
    2,086th bac0id 175 1,019
    2,087th Omega65536 🇩🇪 174 1,029
    2,088th jusaka 173 1,024
    2,089th mothcolada 🇺🇸 173 1,100
    2,090th KatieLG 🇬🇧 172 1,007
    2,091st retrohun 172 1,008
    2,091st lancew 🇳🇿 172 1,008
    2,091st ToriTheChicken 172 1,008
    2,091st Waffle3z 172 1,008
    2,091st mothcolada 🇺🇸 172 1,008
    2,091st Indivicivet 172 1,008
    2,091st kurkale6ka 172 1,008
    2,091st mokymok 🇺🇸 172 1,008
    2,091st MeWhenI 🇻🇦 172 1,008
    2,091st voytxt 🇨🇿 172 1,008
    2,091st KatieLG-Transpiler 🇬🇧 172 1,008
    2,091st Yewzir 🇧🇪 172 1,008
    2,091st madeforlosers 172 1,008
    2,091st HumanoidCPU 172 1,008
    2,091st bac0id 172 1,008
    2,091st Mabeloid 🇳🇴 172 1,008
    2,091st CaedenHarper 🇨🇦 172 1,008
    2,091st JunkIce 172 1,008
    2,091st heanyang1 172 1,008
    2,091st gigaprofisi 🇺🇸 172 1,008
    2,091st JOrE20 172 1,008
    2,112th FortuiteMan 🇫🇷 172 1,009
    2,112th bac0id 172 1,009
    2,112th HumanoidCPU 172 1,009
    2,112th ehulinsky 🇺🇸 172 1,009
    2,116th Mojken 172 1,011
    2,116th decorator-factory 172 1,011
    2,116th ElevatorShaft 172 1,011
    2,116th TheAristos 172 1,011
    2,116th SpareManiKatti 172 1,011
    2,116th RYNO8 172 1,011
    2,122nd jusaka 172 1,012
    2,123rd JOrE20 171 944
    2,124th KatieLG 🇬🇧 171 1,010
    2,124th KatieLG-Transpiler 🇬🇧 171 1,010
    2,124th snoozingnewt 🇨🇦 171 1,010
    2,124th adriweb 🇫🇷 171 1,010
    2,124th voytxt 🇨🇿 171 1,010
    2,124th FortuiteMan 🇫🇷 171 1,010
    2,124th msbranicky 171 1,010
    2,124th MeWhenI 🇻🇦 171 1,010
    2,124th madeforlosers 171 1,010
    2,124th Mabeloid 🇳🇴 171 1,010
    2,124th CaedenHarper 🇨🇦 171 1,010
    2,124th JunkIce 171 1,010
    2,124th sciencejiho 171 1,010
    2,124th heanyang1 171 1,010
    2,124th gigaprofisi 🇺🇸 171 1,010
    2,124th JOrE20 171 1,010
    2,124th jusaka 171 1,010
    2,141st JOrE20 169 944
    2,142nd jackkav 168 1,009
    2,142nd JRaspass 🇬🇧 168 1,009
    2,142nd jn-lp 🇺🇦 168 1,009
    2,142nd UBKorkut 168 1,009
    2,142nd BBoehm 🇩🇪 168 1,009
    2,142nd SpareManiKatti 168 1,009
    2,142nd Cazka 168 1,009
    2,142nd KatieLG 🇬🇧 168 1,009
    2,142nd hacker19374 168 1,009
    2,142nd zakariamouhid 168 1,009
    2,142nd Jacob385 168 1,009
    2,142nd olleicua 🇺🇸 168 1,009
    2,142nd XenThe 🇬🇧 168 1,009
    2,142nd Ultra814 168 1,009
    2,156th Mojken 168 1,011
    2,156th retrohun 168 1,011
    2,156th SirHig 168 1,011
    2,156th rowboat1 168 1,011
    2,156th decorator-factory 168 1,011