This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM sagemath/sagemath:9.7 | |
ARG NB_UID=1000 | |
ARG NB_USER=sage | |
USER root | |
RUN apt update && apt install -y python3 python3-pip | |
USER ${NB_UID} | |
ENV PATH="${PATH}:${HOME}/.local/bin" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM ghcr.io/kbredies/gratopy:pocl-latest | |
ARG NB_UID=1000 | |
ARG NB_USER=gratopy | |
ENV USER ${NB_USER} | |
ENV NB_UID ${NB_UID} | |
ENV HOME /home/${NB_USER} | |
RUN adduser --disabled-password \ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM sagemath/sagemath:9.7 | |
ARG NB_UID=1000 | |
ARG NB_USER=sage | |
USER root | |
RUN apt update && apt install -y python3 python3-pip | |
USER ${NB_UID} | |
ENV PATH="${PATH}:${HOME}/.local/bin" |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from manim import * | |
import random | |
config.frame_height = 16 | |
config.frame_width = 9 | |
config.pixel_width = 1080 | |
config.pixel_height = 1920 | |
config.frame_rate = 60 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from manim import * | |
class Dragon(MovingCameraScene): | |
def construct(self): | |
dragon_curve = VMobject(stroke_color=GOLD) | |
dragon_curve_points = [LEFT, RIGHT] | |
dragon_curve.set_points_as_corners(dragon_curve_points) | |
dragon_curve.corners = dragon_curve_points | |
self.add(dragon_curve) | |
dragon_curve.add_updater( |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
from __future__ import annotations | |
from manim import * | |
from combpyter import DyckPaths, DyckPath | |
def draw_path(path: DyckPath, plane: NumberPlane | None = None) -> VGroup: | |
if plane is None: |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM manimcommunity/manim:v0.13.1 | |
COPY --chown=manimuser:manimuser . /manim |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM manimcommunity/manim:v0.11.0 | |
COPY --chown=manimuser:manimuser . /manim |
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
NewerOlder