Sign inSign up

rawpair/liberty-eiffel

By rawpair

•Updated over 1 year ago

Liberty Eiffel compiler in a container; built from source, ready to use.

Image
Developer tools
0

179

rawpair/liberty-eiffel repository overview

This Docker image provides a fully working Liberty Eiffel compiler environment, built from source.

Liberty Eiffel is an open-source Eiffel implementation focused on small-footprint, high-performance applications, featuring native support for Design by Contract (DbC).

This image includes:

  • Liberty Eiffel compiler (se)
  • Standard libraries
  • All compiled and ready to use
  • Based on Debian Bookworm

Ideal for experimentation, educational use, or nostalgic trips into serious software correctness.

Tag summary

Content type

Image

Digest

sha256:95d6e3c68…

Size

706.7 MB

Last updated

over 1 year ago

docker pull rawpair/liberty-eiffel:bookworm