-
-
https://hackage-content.haskell.org/package/MiniAgda-0.2025.7.23/candidate/src/lib/stl.ma
Directory listing for MiniAgda-0.2025.7.23 candidate source tarball | Hackage stl.ma -
https://rodolphe-vaillant.fr/images/entry_196_squash_and_stretch/slime_orange.ma
Design of a squash and stretch rig in Maya - Rodolphe Vaillant's homepage Download base model -
https://rodolphe-vaillant.fr/images/entry_215_squash_and_stretch/slime_final.ma
Design of a squash and stretch rig in Maya - Rodolphe Vaillant's homepage Download final model -
https://rodolphe-vaillant.fr/images/entry_196_squash_and_stretch/slime_basic_controls_barycentric_weight_adjusted.ma
Design of a squash and stretch rig in Maya - Rodolphe Vaillant's homepage Model with adjusted barycentric weights -
https://www.stormchecker.org/resources/input-examples/ma/jobs03_2.ma
Storm -- A Modern Probabilistic Model Checker -- Running Storm Download PRISM file for stochastic job scheduling (3 jobs and 2 servers)