Help

System theme

Docker Suite

rootmos/lambdasylum

•Updated almost 9 years ago

A place to study some lambda calculi

Image

0

7.6K

Tags for rootmos/lambdasylum

Sort by

TAG

Last pushed almost 9 years by rootmos

docker pull rootmos/lambdasylum:latest

Digest	OS/ARCH	Compressed size
780e4db3a4d3	linux/amd64	18.97 MB

TAG

master-31-b48d9ee5ab811ba2e2217ef4cf84f890cdac081f

Last pushed almost 9 years by rootmos

docker pull rootmos/lambdasylum:master-31-b48d9ee5ab811ba2e2217ef4cf84f890cdac081f

Digest	OS/ARCH	Compressed size
780e4db3a4d3	linux/amd64	18.97 MB

TAG

master-30-a1c80f458b453da0fff35b1a9ec5523bbf8b5833

Last pushed almost 9 years by rootmos

docker pull rootmos/lambdasylum:master-30-a1c80f458b453da0fff35b1a9ec5523bbf8b5833

Digest	OS/ARCH	Compressed size
7bf4947d3af7	linux/amd64	18.97 MB

TAG

master-29-0ddf129d7d6ea5e2284e106becbbf25e43b8805a

Last pushed almost 9 years by rootmos

docker pull rootmos/lambdasylum:master-29-0ddf129d7d6ea5e2284e106becbbf25e43b8805a

Digest	OS/ARCH	Compressed size
bc545fc16d71	linux/amd64	18.97 MB

TAG

master-28-f7a2548b1a65352750d52770e64855135792a322

Last pushed almost 9 years by rootmos

docker pull rootmos/lambdasylum:master-28-f7a2548b1a65352750d52770e64855135792a322

Digest	OS/ARCH	Compressed size
0fa4c61cc50d	linux/amd64	18.97 MB

TAG

master-27-8328ab195083c17ba23d6ce4631099e766404ebd

Last pushed almost 9 years by rootmos

docker pull rootmos/lambdasylum:master-27-8328ab195083c17ba23d6ce4631099e766404ebd

Digest	OS/ARCH	Compressed size
6f3d87c2633d	linux/amd64	18.97 MB

TAG

master-26-ad648a239b0ca4839baab9986d17a86f5678d3be

Last pushed almost 9 years by rootmos

docker pull rootmos/lambdasylum:master-26-ad648a239b0ca4839baab9986d17a86f5678d3be

Digest	OS/ARCH	Compressed size
e4cea2f8d888	linux/amd64	18.97 MB

TAG

master-25-f7a7292dbfc7966d37b58c8541f690191bc55a81

Last pushed almost 9 years by rootmos

docker pull rootmos/lambdasylum:master-25-f7a7292dbfc7966d37b58c8541f690191bc55a81

Digest	OS/ARCH	Compressed size
bc80a6fd8579	linux/amd64	18.96 MB

TAG

master-24-a4032cb15180a8a319d69e68c2aaf31645033e8d

Last pushed almost 9 years by rootmos

docker pull rootmos/lambdasylum:master-24-a4032cb15180a8a319d69e68c2aaf31645033e8d

Digest	OS/ARCH	Compressed size
377caff989e5	linux/amd64	18.96 MB

TAG

master-23-9f971086abf8bd6ce779fab21a97e385b6b241ff

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-23-9f971086abf8bd6ce779fab21a97e385b6b241ff

Digest	OS/ARCH	Compressed size
ede728f9c647	linux/amd64	18.96 MB

TAG

master-22-2b5f8a4840378c4a2de7e753226631a3c4d6d773

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-22-2b5f8a4840378c4a2de7e753226631a3c4d6d773

Digest	OS/ARCH	Compressed size
fffefef9ccc8	linux/amd64	18.96 MB

TAG

master-21-c0fa3b8699ef6663d405bec6714e44ff36838768

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-21-c0fa3b8699ef6663d405bec6714e44ff36838768

Digest	OS/ARCH	Compressed size
50c811ee07de	linux/amd64	18.96 MB

TAG

master-20-c36ee2b134d77e4cc635e926d070d249221df76b

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-20-c36ee2b134d77e4cc635e926d070d249221df76b

Digest	OS/ARCH	Compressed size
33957b922481	linux/amd64	18.96 MB

TAG

master-19-4e93bd5be9d4a5a3f26f0fed4d7f7f5e81bee312

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-19-4e93bd5be9d4a5a3f26f0fed4d7f7f5e81bee312

Digest	OS/ARCH	Compressed size
b0a6fe59b11b	linux/amd64	18.96 MB

TAG

master-18-18101c324e8b59d305e65d4c0159a223aedc1cc0

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-18-18101c324e8b59d305e65d4c0159a223aedc1cc0

Digest	OS/ARCH	Compressed size
d04ceafd9e16	linux/amd64	18.96 MB

TAG

master-17-d8729da61135e70671340fae82707f3b3cdd0593

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-17-d8729da61135e70671340fae82707f3b3cdd0593

Digest	OS/ARCH	Compressed size
557684abc93d	linux/amd64	18.96 MB

TAG

tilambda-16-7ac2fe5cf4d28445e1a4f1ed7e2b888cc485b8b3

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:tilambda-16-7ac2fe5cf4d28445e1a4f1ed7e2b888cc485b8b3

Digest	OS/ARCH	Compressed size
7fac7ef51c46	linux/amd64	18.96 MB

TAG

tilambda-15-fa2c15df332cf608bdfbda61820b469b340e27a7

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:tilambda-15-fa2c15df332cf608bdfbda61820b469b340e27a7

Digest	OS/ARCH	Compressed size
a23afb5f9a9f	linux/amd64	18.96 MB

TAG

tilambda-14-cc29d16d1990b6a1898afe5f4a3a47ca2a9c98a3

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:tilambda-14-cc29d16d1990b6a1898afe5f4a3a47ca2a9c98a3

Digest	OS/ARCH	Compressed size
e1fc8c1cd031	linux/amd64	18.95 MB

TAG

master-12-e5aa50f6df540b1f0e3369ff571425f47c210d08

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-12-e5aa50f6df540b1f0e3369ff571425f47c210d08

Digest	OS/ARCH	Compressed size
e962edb98e25	linux/amd64	18.94 MB

TAG

master-11-f0f353fa049916a5ff3d8028d1af07c87fec0538

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-11-f0f353fa049916a5ff3d8028d1af07c87fec0538

Digest	OS/ARCH	Compressed size
dea41281859d	linux/amd64	18.93 MB

TAG

master-10-659ddf11be39600c1c105cf101429bb53e1b00c9

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-10-659ddf11be39600c1c105cf101429bb53e1b00c9

Digest	OS/ARCH	Compressed size
fc592b8cd6fd	linux/amd64	18.93 MB

TAG

master-9-652344d5678de1c4c273bd8ef2651a3601d12980

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-9-652344d5678de1c4c273bd8ef2651a3601d12980

Digest	OS/ARCH	Compressed size
11e24610edae	linux/amd64	18.93 MB

TAG

master-8-6a91e1b900ad71b226a49e4dfca598a921ed062e

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-8-6a91e1b900ad71b226a49e4dfca598a921ed062e

Digest	OS/ARCH	Compressed size
1aab70825356	linux/amd64	18.93 MB

TAG

master-7-4247e1f4cdc1829acb0fe3f800d8a9b8ca507372

Last pushed about 9 years by rootmos

docker pull rootmos/lambdasylum:master-7-4247e1f4cdc1829acb0fe3f800d8a9b8ca507372

Digest	OS/ARCH	Compressed size
b5536da99a5d	linux/amd64	18.93 MB