For anyone who likes ASCII animations: there's an online editor and small community about that (supports export to animated GIF): https://animasci.com/ https://

For anyone who likes ASCII animations: there's an online editor and small community about that (supports export to animated GIF): https://animasci.com/ https://animasci.com/