Permusoft / uPerm

μPerm is a block-structured, dynamically typed, dynamically scoped, interpreted programming language for computation in the mathematical realm of the symmetric groups. In particular, μPerm provides as a primitive type the permutation, along with its related group-theoretic operations of composition and inversion.