Autowrite est une bibliothèque logicielle permettant de manipuler des termes, des systèmes de réécriture de termes et des automates de termes. Elle est écrite en Common Lisp. Les automates implémentés sont des automates fly c'est à dire que leur fonction de transition est représentée par une fonction et non pas comme classiquement par une table. Ceci permet de manipuler des automates très gros voire infinis. Une version Python de cette bibliothèque est souhaitable dans le but de l'intégrer à la plate-forme SAGE .
Python, Common Lisp (SBCL), Git