Skip to content

Instantly share code, notes, and snippets.

View behackl's full-sized avatar

Benjamin Hackl behackl

View GitHub Profile
@behackl
behackl / Dockerfile
Last active July 19, 2023 17:29
SD120 - Asymptotic Expansions in SageMath
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"
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 \
@behackl
behackl / Dockerfile
Last active November 16, 2022 22:16
sage binder test
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"
@behackl
behackl / Demo - ACSV.ipynb
Last active July 20, 2023 21:41
Demo: SageMath's Asymptotic Expansion Module
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@behackl
behackl / fern.py
Created April 19, 2022 19:40
Code for creating the Barnsley fern with Manim v0.15.1, Video: https://www.youtube.com/shorts/mfwz63J_BNg
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
@behackl
behackl / dragon.py
Created April 6, 2022 08:56
Implementation of an unfolding Dragon curve animation using Manim
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(
@behackl
behackl / dyck_path_iterator_7.py
Created March 27, 2022 14:35
Code for manimation of all Dyck paths with 14 steps
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:
FROM manimcommunity/manim:v0.13.1
COPY --chown=manimuser:manimuser . /manim
@behackl
behackl / Dockerfile
Created November 1, 2021 20:26
[Manimation] Complex exponential function
FROM manimcommunity/manim:v0.11.0
COPY --chown=manimuser:manimuser . /manim
@behackl
behackl / 01-first steps.ipynb
Last active June 1, 2024 07:06
Interactive Manim environment for Workshops
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.