nilqed/fricas repository overview

⁠Content (fricas:latest)

• Ubuntu 24.04.3 LTS (Noble Numbat) (cat /etc/*release)
• SBCL 2.2.9.debian
• FriCAS 1.3.12 compiled at Fri Feb 6 17:07:20 UTC 2026
• see Dockerfile⁠

This is a base image suitable to build on (auto-build, see below).

⁠Quick start

docker run -t -i nilqed/fricas fricas -nox

⁠With X11 (Hyperdoc, Graphics)

$ docker run -ti --rm --network=host --env DISPLAY=:0 nilqed/fricas:latest fricas

Maybe you have to configure X appropriately (e.g. xhost local:root). For example, enter the container by

docker run -t -i nilqed/fricas /bin/bash

then configure X and start fricas.

⁠Notes

• --rm removes the container when it exits (add/remove it just as you like)
• --network=host means: use the Docker host network stack
• docker commit creates a new image from a container’s changes
• See Command Reference⁠ for more.

⁠Links

• Build/Dockerfile/Logs⁠

• FriCAS API⁠

• FriCAS Home⁠