AI Decision System
Replayable, offline-verifiable records for AI-assisted go/no-go decisions: experiment promotions, typed model answers and human-approved actions.
翻譯準備中
個人 GitHub 帳號下公開儲存庫的擁有者可以登入並驗證所有權,自行管理介紹,無需管理員核准。
登入並產生驗證檔案,在 30 分鐘內將其提交至此儲存庫的預設分支。其他分支或分叉儲存庫中的檔案無效。然後在下方檢查檔案,即可無需管理員核准直接管理專案。請保留檔案以維持管理權限。
如需登入,將前往登入頁面。登入後請回到此處,再次點擊所選的驗證按鈕。
在專案資料夾中執行 /nomorevibe verify,即可驗證所有權並自行管理介紹。
一分鐘完成驗證製作者的介紹僅有上面的一句話。 更多詳情請閱讀儲存庫 README。 儲存庫 README ↗
正在載入完整 README。
檢視完整 README ↗A programmatic mathematical-animation engine in Rust, built on Bevy, inspired by manim.
Its distinguishing feature: transforms between equations, text, code and groups of shapes are planned with Myers' diff, so unchanged parts stay put or slide, moved parts travel, and only real changes fade or morph.
pip install fastanim
fastanim on PyPI has wheels for Linux (x86_64), macOS
(Apple Silicon) and Windows (x86_64), for CPython 3.10+ and free-threaded 3.14t. Video export also needs ffmpeg on your PATH. Or try it with no install in the
browser playground, which runs Python scenes on
Pyodide.
Scenes are written in Python (or in Rust, or as Rhai scripts, with the same API):
from fastanim import *
@scene
def parity(s: Scene) -> None:
title = s.add(text("Classic manim parity").to_edge(UP))
s.play(write(title))
ring = s.add(circle(1.5, stroke=BLUE, stroke_width=0.06))
s.play(create(ring), run_time=1.5)
formula = s.add(math_tex("y = sin(x)").scale(1.5).fill(GREEN).to_edge(DOWN))
s.play(write(formula))
python -m fastanim preview fastanim-py/scenes/parity.py # reloads on save
python -m fastanim render fastanim-py/scenes/parity.py -q 720p30 -o parity.mp4
python -m fastanim still fastanim-py/scenes/parity.py --at 3s -o frame.svg
The scripting docs cover the Python API
(source in docs/book, just docs to serve locally).
What's planned next for manim parity is in docs/ROADMAP.md.
Scene builder
baked into a seekable BakedTimeline, and SVG export of stills or whole animations.create, write, fade_in/fade_out (optionally shifting or scaling),
transform, replacement_transform, grow_from_center, spin_in, draw_border_then_fill, uncreate,
unwrite, shrink_to_center, move_to, apply_function, indicate, wiggle,
circumscribe, flash; composed with Parallel, Sequence and lagged_start; eased with
quad, cubic, expo, back and spring rate functions.set_color_by_gradient across groups and texts, dashed outlines and dashed_line, line caps
and joins, and a scene background colour.shader(wgsl) paints a shape's fill with a WGSL fragment shader
(fn shade(uv: vec2<f32>) -> vec4<f32>, reading shape.color, shape.size and
shape.time) on the GPU in preview and export; SVG and the web player draw the solid fill.next_to, align_to, to_edge, arrange, scale_to_fit_height/width.axes (with arrow tips and labels) and fit_axes, which picks the
y range; plot graphs a function, c2p maps graph to scene coordinates.text, math_tex and code. latex takes
LaTeX math instead, converted to Typst by MiTeX.
adds TTF/OTF fonts from files, chosen per text with a option.| Crate | Purpose |
|---|---|
fastanim | Facade crate and prelude |
fastanim-diff | Generic sequence diffing |
fastanim-core | Geometry, mobjects, animations and timeline |
fastanim-text | Text, math and code layout into diffable tokens |
fastanim-bevy | Bevy plugin: rendering, preview and export |
fastanim-script | Rhai scenes, and the bindings Python shares |
fastanim-cli | The fastanim command-line tool |
fastanim-py | The fastanim Python package |
fastanim-web | Browser player and playground, for Python scenes |
From a checkout, build the package into a virtualenv with maturin:
pip install maturin
maturin develop -m fastanim-py/pyproject.toml
python -m fastanim preview fastanim-py/scenes/diff.py # equations, code refactor, bubble sort, morph
python -m fastanim preview fastanim-py/scenes/sin_and_cos.py # axes and plots
python -m fastanim render fastanim-py/scenes/diff.py -q 720p30 -o diff.mp4
just web # browser playground on http://localhost:8080, rebuilt on change
The playground needs Trunk (cargo binstall trunk) and
the Pyodide wheel from just pyodide-wheel, which needs uv.
The Rust side, and Rhai scripts with the fastanim CLI (Rust 1.92+; on Linux, building needs
libudev-dev, libwayland-dev and libxkbcommon-dev, plus libasound2-dev for sound):
cargo install --locked --git https://github.com/simonhdickson/fastanim fastanim-cli
fastanim preview fastanim-script/scenes/parity.rhai # the same scene as a Rhai script
cargo run -p fastanim-cli -- diff "a + b = c" "b + a = c"
# ↷b =+ ↷a == =c
cargo run -p fastanim-cli -- diff "a^2 + b^2 = c^2" "a^2 = c^2 - b^2" --math
# =𝑎 =2' == =𝑐 =2' ~(+→−) ↷𝑏 ↷2'
cargo run -p fastanim --example shapes -- frames # writes frames/000.svg …
cargo run -p fastanim-bevy --example parity # live preview window
cargo run -p fastanim-bevy --example parity -- render -q 720p30 -o parity.mp4
cargo run -p fastanim-cli -- profile fastanim-script/scenes/diff.rhai # bake timings
Prebuilt fastanim binaries for Linux (x86_64), macOS (Apple Silicon) and Windows (x86_64) are
attached to each GitHub release, and
install with cargo binstall --git https://github.com/simonhdickson/fastanim fastanim-cli.
MIT
load_fontfontffmpeg reads, as an image shape whose frames play_video plays, with
its sound, while it moves, rotates and distorts like any other shape.play_lottie plays all
or part of one, looped or backwards.TransformDiff: token diffs choreographed into slides, arcing moves, morphs and fades,
with DiffStyle phasing, highlights and a debug tint. Code diffs line by line, then token by
token; list cells swap with two arcing moves.FastanimPlugin renders with Vello, with a scene clock and scrubber
(Space play/pause, ←/→ step, [/] markers, drag the bar).--section and stills. Frames are evaluated in parallel across cores.play waits for or in the
background with add_sound; heard in the preview and mixed into MP4 and WebM exports.fastanim package (built with maturin) records
@scene functions and bakes them to the same timelines as Rust and Rhai. python -m fastanim preview re-runs a scene on save; render and still export it. Typeset text is memoized,
so a re-run only typesets what changed.fastanim CLI plays Rhai scripts with preview, render and
still; fastanim profile shows where bake time goes, fastanim script-api lists every
script function, and fastanim lsp gives editors errors, completion and hover.fastanim-web runs Python scenes on Pyodide in a Web Worker and
draws them onto a Canvas 2D.