currylang/kics2

•Updated 5 days ago

The KiCS2 implementation of the multi-paradigm declarative programming language Curry

Image

Languages & frameworks

2.2K

Tags for currylang/kics2

Sort by

TAG

latest

Last pushed 5 days by currylang

docker pull currylang/kics2:latest

Digest	OS/ARCH	Compressed size
7eea0d8d23d3	linux/amd64	2.4 GB

TAG

3.5.0

Last pushed 5 days by currylang

docker pull currylang/kics2:3.5.0

Digest	OS/ARCH	Compressed size
7eea0d8d23d3	linux/amd64	2.4 GB

TAG

3.4.0

Last pushed 11 months by currylang

docker pull currylang/kics2:3.4.0

Digest	OS/ARCH	Compressed size
64fb8fca6e99	linux/amd64	2.35 GB

TAG

3.3.0

Last pushed over 1 year by currylang

docker pull currylang/kics2:3.3.0

Digest	OS/ARCH	Compressed size
583f5d19ba7f	linux/amd64	2.29 GB

TAG

3.2.0

Last pushed about 2 years by currylang

docker pull currylang/kics2:3.2.0

Digest	OS/ARCH	Compressed size
eceeff726787	linux/amd64	2.36 GB

TAG

3.1.0

Last pushed over 2 years by currylang

docker pull currylang/kics2:3.1.0

Digest	OS/ARCH	Compressed size
4881e0787f14	linux/amd64	2.34 GB

TAG

3.0.0

Last pushed about 3 years by currylang

docker pull currylang/kics2:3.0.0

Digest	OS/ARCH	Compressed size
55a83a17345b	linux/amd64	2.25 GB