Estoy buscando una biblioteca de código que convierta secuencias de escape ANSI en color HTML, mediante etiquetas simples o CSS. Por ejemplo, algo que podría convertir esto: ESC[00mESC[01;34mbinESC[00
Esta es una pregunta similar a this one. Me gustaría convertir secuencias de escape ANSI, especialmente para el color, en HTML. Sin embargo, me gustaría lograr esto usando PHP. ¿Hay alguna biblioteca