zyasserd/agda

•Updated over 2 years ago

A minimalistic image containing Agda, along with essential libraries such as agda-stdlib and cubical

Image

Languages & frameworks

Developer tools

1.1K

Tags for zyasserd/agda

Sort by

TAG

latest-compiled-haskell

Last pushed over 2 years by zyasserd

docker pull zyasserd/agda:latest-compiled-haskell

Digest	OS/ARCH	Compressed size
3ae3fd94c5b6	linux/amd64	791.83 MB
e919fbbc6a27	linux/arm64/v8	828.42 MB

TAG

latest-compiled

Last pushed over 2 years by zyasserd

docker pull zyasserd/agda:latest-compiled

Digest	OS/ARCH	Compressed size
c3af2cb82be8	linux/amd64	368.64 MB
b12c7c4736ef	linux/arm64/v8	385.89 MB

TAG

latest

Last pushed over 2 years by zyasserd

docker pull zyasserd/agda:latest

Digest	OS/ARCH	Compressed size
5a171972df74	linux/amd64	88.06 MB
21f72c4534d9	linux/arm64/v8	105.31 MB

TAG

2.6.4.3-compiled-haskell

Last pushed over 2 years by zyasserd

docker pull zyasserd/agda:2.6.4.3-compiled-haskell

Digest	OS/ARCH	Compressed size
3ae3fd94c5b6	linux/amd64	791.83 MB
e919fbbc6a27	linux/arm64/v8	828.42 MB

TAG

2.6.4.3-compiled

Last pushed over 2 years by zyasserd

docker pull zyasserd/agda:2.6.4.3-compiled

Digest	OS/ARCH	Compressed size
c3af2cb82be8	linux/amd64	368.64 MB
b12c7c4736ef	linux/arm64/v8	385.89 MB

TAG

2.6.4.3

Last pushed over 2 years by zyasserd

docker pull zyasserd/agda:2.6.4.3

Digest	OS/ARCH	Compressed size
5a171972df74	linux/amd64	88.06 MB
21f72c4534d9	linux/arm64/v8	105.31 MB

TAG

2.6.4.1-compiled

Last pushed over 2 years by zyasserd

docker pull zyasserd/agda:2.6.4.1-compiled

Digest	OS/ARCH	Compressed size
86497ea7a72b	linux/amd64	368.65 MB

TAG

2.6.4.1

Last pushed over 2 years by zyasserd

docker pull zyasserd/agda:2.6.4.1

Digest	OS/ARCH	Compressed size
a32295b865b2	linux/amd64	88.07 MB