Jot to SKI

Submit

Language is selected by the extension of the file. See the list of supported languages to know the extension of your language.

Problem

Given <a href="https://esolangs.org/wiki/Jot">Jot</a> programs, convert each of them to combinatory logic.

-- 鳴神裁4.1号

Options

exec is denied

rejudge feature is enabled

now post-mortem time, all source codes will be revealed

Sample input:_

0

1

Sample output:

ISK
I
S(KI)

Sample input:_

0100011001110000010110110111000000011111011101011
101010

01010110001011111110000110011010110100010011010
010101100111110010001101110110011010000110001110
111011
0110100110000010111110110010100110100001000111
001101101000100101100000111110111
1001010
0100100001011001110111010011000010100
01000110100011111011011011001000110111000101
11100000101001111110111011
000
0100100
01011001010010001001
1110101011110111
111101010001111001101000011100
1000110001110111111001101111011100
10110000011111010100
0011111011011111001100111111010
11100000110
110111
1001100000101101011
111011101101110110101101010101010110100101001101
001100100101100111001100101000101101110011000111
000000101100000111001000101111110010111111011
111101010100111101111000110010010010111100
10110000111110001100011010001001110101001
11110001100001001010100000100000101001111111010
101001111
0011
11100110100110100011001001001011
0010001010100011001011001100
1001101110111
1100
110111010111000100000001111000111111001100
00010000010
101001010100000001111010000110
010010011101110
11111011000111101000000010010000
01010100001001100001001101
001100011000
01111
001111101100001111111100111011001100110001011001
101111010110101010000000001
100111111
1011011
1100111001011111011100110110110101010101
01011100000001101100111100011010110110
100110101100111011110

Sample output:

S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISK)SKSKSK))SKSK)))SKSKSKSKSK)SK))SK))SK)))SKSKSKSKSKSKSK)))))SK)))SK)SK))
S(KS(KS(KI)SK)SK)SK
I
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISK)SK)SK))SKSKSK)SK)))))))SKSKSKSK))SKSK))SK)SK))SK)SKSKSK)SKSK))SK)SK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISK)SK)SK))SKSK)))))SKSK)SKSKSK))SK)))SK))SKSK))SK)SKSKSKSK))SKSKSK)))SK
S(KS(KS(KS(KS(KI)))SK))
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISK))SK)SKSK))SKSKSKSKSK)SK)))))SK))SKSK)SK)SKSK))SK)SKSKSKSK)SKSKSK)))
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISKSK))SK))SK)SKSKSK)SKSK)SK))SKSKSKSKSK)))))SK)))
S(KS(KS(KI)SKSK)SK)SK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISK)SKSK)SKSKSKSK)SK))SKSK)))SK)))SK)SKSK))SKSKSKSK)SK)SKSK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISK)SKSKSK))SK)SKSKSK)))))SK))SK))SK))SKSK)SKSKSK))SK)))SKSKSK)SK)
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI)))SKSKSKSKSK)SK)SKSK))))))SK)))SK))
ISKSKSK
S(KS(KISK)SKSK)SKSK
S(KS(KS(KS(KS(KS(KS(KS(KISK)SK))SKSK)SK)SKSK)SKSKSK)SKSK)
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI)))SK)SK)SK))))SK)))
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI))))SK)SK)SKSKSK))))SKSK))SK)SKSKSKSK)))SKSK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI)SKSKSK))SKSKSK)))SK))))))SKSK))SK))))SK)))SKSK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI)SK))SKSKSKSKSK)))))SK)SK)SKSK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISKSK)))))SK))SK)))))SKSK))SKSK))))))SK)SK
S(KS(KS(KS(KS(KI)))SKSKSKSKSK))SK
S(KS(KS(KS(KS(KI))SK)))
S(KS(KS(KS(KS(KS(KS(KS(KS(KI)SKSK))SKSKSKSKSK)SK))SK)SK))
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI)))SK)))SK))SK)))SK))SK)SK))SK)SK)SK)SK)SK)SK))SK)SKSK)SK)SKSK))SK)
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISKSK))SKSK)SKSK)SK))SKSK)))SKSK))SKSK)SK)SKSKSK)SK))SK)))SKSK))SKSKSK)))
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISKSKSKSKSKSK)SK))SKSKSKSKSK)))SKSK)SKSKSK)SK))))))SKSK)SK))))))SK))
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI))))SK)SK)SK)SKSK))))SK))))SKSKSK))SKSK)SKSK)SKSK)SK))))SKSK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI)SK))SKSKSKSK)))))SKSKSK))SKSKSK))SK)SKSKSK)SKSK)))SK)SK)SKSK)
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI))))SKSKSK))SKSKSKSK)SKSK)SK)SK)SKSKSKSKSK)SKSKSKSKSK)SK)SKSK)))))))SK)SK
S(KS(KS(KS(KS(KS(KI)SK)SKSK))))
S(KS(KISKSK))
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI)))SKSK))SK)SKSK))SK)SKSKSK))SKSK)SKSK)SKSK)SK))
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISKSK)SKSKSK)SK)SK)SKSKSK))SKSK)SK))SKSK))SKSK
S(KS(KS(KS(KS(KS(KS(KS(KS(KI)SKSK))SK)))SK)))
S(KS(KI))SKSK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI))SK)))SK)SK)))SKSKSK)SKSKSKSKSKSKSK))))SKSKSK))))))SKSK))SKSK
S(KS(KISKSKSK)SKSKSKSKSK)SK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI)SK)SKSK)SK)SK)SKSKSKSKSKSKSK))))SK)SKSKSKSK))SK
S(KS(KS(KS(KS(KS(KS(KS(KISK)SKSK)SKSK)))SK)))SK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI)))))SK))SKSKSK))))SK)SKSKSKSKSKSKSK)SKSK)SKSKSKSK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISK)SK)SK)SKSKSKSK)SKSK))SKSKSKSK)SKSK))SK)
S(KS(KS(KS(KISKSK))SKSKSK))SKSKSK
S(KS(KS(KS(KISK))))
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISKSK)))))SK))SKSKSKSK))))))))SKSK)))SK))SKSK))SKSK))SKSKSK)SK))SKSK)
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI)SK))))SK)SK))SK)SK)SK)SKSKSKSKSKSKSKSKSK)
S(KS(KS(KS(KS(KS(KS(KI)SKSK))))))
S(KS(KS(KS(KS(KI)SK))SK))
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI))SKSK)))SKSK)SK)))))SK)))SKSK))SK))SK))SK)SK)SK)SK)SK)
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KISK)SK)))SKSKSKSKSKSKSK))SK))SKSK))))SKSKSK))SK)SK))SK))SK
S(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KS(KI)SKSK))SK)SK))SKSK)))SK))))SK

Ranking

Ruby _

Rank	User	Size	Time	Date	Statistics
1	rotary-o	55	0.0376	2021/08/21 16:58:59	0B / 20B / 30B

Ruby2 _

Rank	User	Size	Time	Date	Statistics
1	rotary-o	52	0.1172	2021/08/21 16:58:43	0B / 20B / 26B

Perl _

Rank	User	Size	Time	Date	Statistics
1	tails	35	0.0305	2021/08/19 23:36:50	0B / 20B / 14B

Python _

Rank	User	Size	Time	Date	Statistics
1	lynn	74	0.0619	2021/08/24 03:45:32	0B / 40B / 23B

SNOBOL _

Rank	User	Size	Time	Date	Statistics
1	鳴神裁4.1号	137	0.0261	2021/08/25 17:01:18	0B / 59B / 40B

J _

Rank	User	Size	Time	Date	Statistics
1	tails	69	0.0551	2021/08/23 19:43:34	0B / 19B / 44B
2	Frowny (tails)	53	0.0778	2021/08/31 07:44:18	0B / ?B / ?B

C _

Rank	User	Size	Time	Date	Statistics
1	tails	96	0.0272	2021/08/26 15:06:44	6B / 43B / 47B

Java _

Rank	User	Size	Time	Date	Statistics
1	rotary-o	170	0.1409	2021/08/21 17:00:17	0B / 108B / 55B

sed _

Rank	User	Size	Time	Date	Statistics
1	tails	36	0.0401	2021/08/19 23:45:35	0B / 12B / 20B
2	鳴神裁4.1号 (original)	72	0.0339	2021/08/19 17:39:20	0B / 32B / 40B

Bash (builtins) _

Rank	User	Size	Time	Date	Statistics
1	tails	62	0.1017	2021/08/23 15:59:25	0B / 22B / 32B
2	鳴神裁4.1号	98	0.1050	2021/08/25 17:11:09	0B / 37B / 42B

Zsh _

Rank	User	Size	Time	Date	Statistics
1	鳴神裁4.1号	101	0.1736	2021/08/25 17:15:30	0B / 39B / 44B

make _

Rank	User	Size	Time	Date	Statistics
1	tails	146	0.0338	2021/08/26 14:08:18	0B / 76B / 53B

gs2 _

Rank	User	Size	Time	Date	Statistics
1	tails	21	0.1707	2021/08/23 16:30:40	10B / 9B / 2B

Lazy-K _

Rank	User	Size	Time	Date	Statistics
1	tails	756	0.0843	2021/08/20 00:20:19	0B / 411B / 345B

Scala _

Rank	User	Size	Time	Date	Statistics
1	rotary-o	71	8.2696	2021/08/21 17:00:02	0B / 36B / 35B

Language Ranking_

Rank	Lang	User	Size	Score
1	gs2	tails	21	10000
2	Perl	tails	35	6000
3	sed	tails	36	5833
4	Ruby2	rotary-o	52	4038
5	J	Frowny (tails)	53	3962
6	Ruby	rotary-o	55	3818
7	Bash (builtins)	tails	62	3387
8	Scala	rotary-o	71	2957
9	Python	lynn	74	2837
10	C	tails	96	2187
11	Zsh	鳴神裁4.1号	101	2079
12	SNOBOL	鳴神裁4.1号	137	1532
13	make	tails	146	1438
14	Java	rotary-o	170	1235
15	Lazy-K	tails	756	277

return to the top page