**manic is a tiny language for making animations.** You write a short text file; manic renders a smooth, glowing video. No timeline scrubbing, no keyframes by hand — you *describe* what’s on screen and *when things happen*, and the engine does the rest, deterministically.

* Try [manic](https://8gwifi.org/manic/)
* manic [docs](https://8gwifi.org/manic/docs)

**Manic Animation code**

    // Creator showcase: one triangle grows from foundations into two olympiad
    // results—four equal midpoint areas and the nine-point circle. Every derived
    // construction remains live when vertex C moves.
    
    title("How Much Geometry Lives in One Triangle?");
    canvas("9:16");
    template("black");
    
    creator(me, "@anish2good name=Manic_Geometry tagline=Constructions_made_visible yt=zarigatongy x=@anish2good web=8gwifi.org/manic accent=cyan secondary=magenta footer=compact cta=Animate_the_proof safe=clean");
    socials(me);
    watermark(mark, (w*0.18, h*0.09), "Made With Manic");
    endcard(me, "title=Build_The_Explanation cta=8gwifi.org/manic");
    
    let u = (w+h-abs(w-h))/1080;
    let g = (w+h-abs(w-h))*0.21;
    let gy = h*0.56;
    
    text(kicker,(cx,h*0.09),"MANIC · LIVE GEOMETRY");
    text(head,(cx,h*0.18),"How much lives inside one triangle?");
    text(counter,(cx,h*0.28),"01 · THREE FREE POINTS");
    text(caption,(cx,h*0.755),"Begin with A, B and C.");
    size(kicker,20*u); bold(kicker); color(kicker,cyan);
    size(head,29*u); bold(head); wrap(head,w*0.80);
    size(counter,20*u); bold(counter); color(counter,gold);
    size(caption,21*u); bold(caption); color(caption,dim); wrap(caption,w*0.76);
    
    // Free vertices: every construction below reads these three points.
    point(A,(cx-g,gy+g*0.60),"A");
    point(B,(cx+g,gy+g*0.60),"B");
    point(C,(cx+g*0.12,gy-g),"C");
    color(A,cyan); color(B,cyan); color(C,cyan);
    hidden(A); hidden(B); hidden(C);
    
    // 1–3: dynamic sides.
    segment(ab,A,B); segment(bc,B,C); segment(ca,C,A);
    color(ab,fg); color(bc,fg); color(ca,fg);
    stroke(ab,3); stroke(bc,3); stroke(ca,3);
    untraced(ab); untraced(bc); untraced(ca);
    
    // 4: an angle mark.
    anglemark(angleC,A,C,B); color(angleC,gold); stroke(angleC,4); untraced(angleC);
    
    // 5–9: midpoint, median and centroid system.
    midpoint(mAB,A,B); midpoint(mBC,B,C); midpoint(mCA,C,A);
    color(mAB,lime); color(mBC,lime); color(mCA,lime);
    label(mAB,"D",(-22*u,18*u)); label(mBC,"E",(20*u,14*u)); label(mCA,"F",(-22*u,14*u));
    hidden(mAB); hidden(mBC); hidden(mCA);
    
    // The midpoint triangle partitions ABC into four congruent, equal-area
    // triangles. These fills are exact for the authored starting triangle and are
    // intentionally dismissed before the later live vertex drag.
    polygon(shadeA,
      (cx-g,gy+g*0.60), (cx,gy+g*0.60), (cx-g*0.44,gy-g*0.20));
    polygon(shadeB,
      (cx+g,gy+g*0.60), (cx+g*0.56,gy-g*0.20), (cx,gy+g*0.60));
    polygon(shadeC,
      (cx+g*0.12,gy-g), (cx-g*0.44,gy-g*0.20), (cx+g*0.56,gy-g*0.20));
    polygon(shadeMid,
      (cx,gy+g*0.60), (cx+g*0.56,gy-g*0.20), (cx-g*0.44,gy-g*0.20));
    filled(shadeA); color(shadeA,cyan); opacity(shadeA,0.24); hidden(shadeA);
    filled(shadeB); color(shadeB,magenta); opacity(shadeB,0.24); hidden(shadeB);
    filled(shadeC); color(shadeC,gold); opacity(shadeC,0.24); hidden(shadeC);
    filled(shadeMid); color(shadeMid,violet); opacity(shadeMid,0.30); hidden(shadeMid);
    
    segment(de,mAB,mBC); segment(ef,mBC,mCA); segment(fd,mCA,mAB);
    color(de,gold); color(ef,gold); color(fd,gold);
    stroke(de,3); stroke(ef,3); stroke(fd,3);
    untraced(de); untraced(ef); untraced(fd);
    
    equation(areaLaw,(cx,h*0.78),
      `K_{ADF}=K_{BDE}=K_{CEF}=K_{DEF}`,
      20*u);
    equation(areaQuarter,(cx,h*0.86),`K=\frac14K_{ABC}`,22*u);
    color(areaLaw,fg); color(areaQuarter,gold);
    hidden(areaLaw); hidden(areaQuarter);
    
    segment(medA,A,mBC); segment(medB,B,mCA); segment(medC,C,mAB);
    color(medA,lime); color(medB,lime); color(medC,lime);
    dashed(medA,10,8); dashed(medB,10,8); dashed(medC,10,8);
    untraced(medA); untraced(medB); untraced(medC);
    centroid(G,A,B,C); color(G,lime); label(G,"G",(22*u,-15*u)); hidden(G);
    
    // 10–13: circumcenter/circumcircle and incenter/incircle.
    circumcenter(O,A,B,C); color(O,magenta); label(O,"O",(-28*u,-15*u)); hidden(O);
    circumcircle(omega,A,B,C); outline(omega,magenta); color(omega,panel);
    stroke(omega,3); untraced(omega);
    incenter(I,A,B,C); color(I,gold); label(I,"I",(22*u,15*u)); hidden(I);
    incircle(gamma,A,B,C); outline(gamma,gold); color(gamma,panel);
    stroke(gamma,3); untraced(gamma);
    
    // 14–22: the three side intersections of the altitudes, their right-angle
    // marks, the orthocenter, nine-point circle and Euler line.
    foot(X,A,B,C); foot(Y,B,C,A); foot(Z,C,A,B);
    color(X,blue); color(Y,blue); color(Z,blue);
    label(X,"X",(18*u,15*u)); label(Y,"Y",(-20*u,15*u)); label(Z,"Z",(18*u,18*u));
    hidden(X); hidden(Y); hidden(Z);
    segment(altA,A,X); segment(altB,B,Y); segment(altC,C,Z);
    color(altA,blue); color(altB,blue); color(altC,blue);
    stroke(altA,3); stroke(altB,3); stroke(altC,3);
    untraced(altA); untraced(altB); untraced(altC);
    rightangle(squareX,A,X,B); rightangle(squareY,B,Y,C); rightangle(squareZ,C,Z,A);
    color(squareX,blue); color(squareY,blue); color(squareZ,blue);
    stroke(squareX,3); stroke(squareY,3); stroke(squareZ,3);
    untraced(squareX); untraced(squareY); untraced(squareZ);
    orthocenter(H,A,B,C); color(H,cyan); label(H,"H",(-28*u,15*u)); hidden(H);
    
    circumcircle(nine,mAB,mBC,mCA); outline(nine,violet); color(nine,panel);
    stroke(nine,4); dashed(nine,12,8); untraced(nine);
    
    segment(euler,O,H); color(euler,cyan); stroke(euler,4); untraced(euler);
    
    hidden(kicker); hidden(head); hidden(counter); hidden(caption);
    
    step("three points become a question") {
      par {
        show(kicker,0.30); show(head,0.45); show(counter,0.30); show(caption,0.35);
      }
      stagger(0.16) { show(A,0.24); show(B,0.24); show(C,0.24); }
      par { draw(ab,0.50,smooth); draw(bc,0.50,smooth); draw(ca,0.50,smooth); }
      draw(angleC,0.42,smooth);
    }
    wait(0.35);
    
    step("midpoints create four equal areas") {
      seq {
        par {
          say(counter,"02 · OLYMPIAD AREA PARTITION",0.30);
          say(caption,"Join the three side midpoints D, E and F. What happens to the four areas?",0.45,smooth);
        }
        stagger(0.13) { show(mAB,0.22); show(mBC,0.22); show(mCA,0.22); }
        par { draw(de,0.55,smooth); draw(ef,0.55,smooth); draw(fd,0.55,smooth); }
        stagger(0.10) {
          show(shadeA,0.28); show(shadeB,0.28); show(shadeC,0.28); show(shadeMid,0.28);
        }
        par {
          move(caption,(cx,h*0.70),0.35,smooth);
          show(areaLaw,0.40); show(areaQuarter,0.40);
        }
        par {
          pulse(shadeMid,0.60);
          say(caption,"Each small triangle has one quarter of the original area.",0.40,smooth);
        }
      }
    }
    wait(0.60);
    
    step("medians reveal the balance point") {
      seq {
        par {
          fade(shadeA,0.28); fade(shadeB,0.28); fade(shadeC,0.28); fade(shadeMid,0.28);
          fade(areaLaw,0.28); fade(areaQuarter,0.28);
          fade(de,0.28); fade(ef,0.28); fade(fd,0.28);
          move(caption,(cx,h*0.755),0.30,smooth);
          say(counter,"03 · MEDIANS → CENTROID",0.30);
          say(caption,"Now connect each vertex to the opposite midpoint. The three medians concur.",0.45,smooth);
        }
        par { draw(medA,0.62,smooth); draw(medB,0.62,smooth); draw(medC,0.62,smooth); }
        show(G,0.28); pulse(G,0.60);
      }
    }
    wait(0.45);
    
    step("two circles find two centers") {
      seq {
        par {
          fade(medA,0.30); fade(medB,0.30); fade(medC,0.30);
          fade(mAB,0.30); fade(mBC,0.30); fade(mCA,0.30);
          say(counter,"04 · TWO CENTERS, TWO CIRCLES",0.30);
          say(caption,"O is equally far from the vertices. I is equally far from the sides.",0.45,smooth);
        }
        par { show(O,0.25); draw(omega,0.85,smooth); }
        par { show(I,0.25); draw(gamma,0.75,smooth); }
        par { pulse(O,0.55); pulse(I,0.55); }
      }
    }
    wait(0.55);
    
    step("six intersections reveal the nine point circle") {
      seq {
        par {
          fade(omega,0.28); fade(O,0.28); fade(gamma,0.28); fade(I,0.28);
          say(counter,"05 · SIX POINTS, ONE CIRCLE",0.30);
          say(caption,"The three midpoints and three altitude feet all lie on one nine-point circle.",0.48,smooth);
        }
        stagger(0.12) { show(mAB,0.22); show(mBC,0.22); show(mCA,0.22); }
        stagger(0.12) { show(X,0.22); show(Y,0.22); show(Z,0.22); }
        par {
          draw(altA,0.62,smooth); draw(altB,0.62,smooth); draw(altC,0.62,smooth);
          draw(squareX,0.42,smooth); draw(squareY,0.42,smooth); draw(squareZ,0.42,smooth);
        }
        show(H,0.28); pulse(H,0.60);
        draw(nine,1.05,smooth);
        stagger(0.10) {
          pulse(mAB,0.38); pulse(mBC,0.38); pulse(mCA,0.38);
          pulse(X,0.38); pulse(Y,0.38); pulse(Z,0.38);
        }
      }
    }
    wait(0.70);
    
    step("the Euler line connects the centers") {
      seq {
        par {
          fade(nine,0.28);
          fade(mAB,0.28); fade(mBC,0.28); fade(mCA,0.28);
          fade(X,0.28); fade(Y,0.28); fade(Z,0.28);
          fade(altA,0.28); fade(altB,0.28); fade(altC,0.28);
          fade(squareX,0.28); fade(squareY,0.28); fade(squareZ,0.28);
          say(counter,"06 · O, G AND H ALIGN",0.30);
          say(caption,"Circumcenter, centroid and orthocenter lie on the Euler line.",0.42,smooth);
        }
        par { show(O,0.20); show(G,0.20); }
        draw(euler,0.90,smooth);
        stagger(0.16) { pulse(O,0.50); pulse(G,0.50); pulse(H,0.50); }
      }
    }
    wait(0.55);
    
    step("prove every construction is alive") {
      seq {
        par {
          say(counter,"07 · MOVE ONE POINT",0.30);
          say(caption,"Move C. Every midpoint, intersection, circle, center and line recomputes.",0.48,smooth);
          recolor(C,gold,0.35);
        }
        par {
          show(nine,0.25); show(mAB,0.20); show(mBC,0.20); show(mCA,0.20);
          show(X,0.20); show(Y,0.20); show(Z,0.20);
        }
        move(C,(cx+g*0.60,gy-g*0.82),1.15,smooth);
        move(C,(cx-g*0.48,gy-g*0.86),1.15,smooth);
        move(C,(cx+g*0.12,gy-g),0.90,smooth);
        pulse(C,0.55);
      }
    }
    wait(0.80);
    
    step("geometry becomes a language") {
      par {
        say(head,"Name the relationships. Manic makes them move.",0.45,smooth);
        say(caption,"construct · intersect · shade · prove · deform — one continuous olympiad story",0.45,smooth);
        pulse(euler,0.75);
      }
    }
    wait(1.10);
    
    step("creator call to action") {
      par {
        fade(kicker,0.30); fade(head,0.30); fade(counter,0.30); fade(caption,0.30);
        fade(A,0.30); fade(B,0.30); fade(C,0.30);
        fade(ab,0.30); fade(bc,0.30); fade(ca,0.30); fade(angleC,0.30);
        fade(omega,0.35); fade(nine,0.35);
        fade(mAB,0.30); fade(mBC,0.30); fade(mCA,0.30);
        fade(X,0.30); fade(Y,0.30); fade(Z,0.30);
        fade(O,0.30); fade(G,0.30); fade(H,0.30); fade(euler,0.35);
        fade(me.footer,0.30); show(me.endcard,0.60);
      }
    }
    wait(2.00);

How Much Geometry Lives in One Triangle? - Geometry Magic - manic