Convertir GIF → PPM
Convierte una imagen GIF a PPM mediante un codificador de archivos. Puedes ajustar el tamaño, la nitidez, el brillo, el contraste y la saturación, además de la calidad con pérdida cuando el formato la admite. En las imágenes GIF animadas solo se utiliza el primer fotograma.
Información sobre el formato
Convierte una imagen GIF a PPM mediante un codificador de archivos. Puedes ajustar el tamaño, la nitidez, el brillo, el contraste y la saturación, además de la calidad con pérdida cuando el formato la admite. En las imágenes GIF animadas solo se utiliza el primer fotograma.
GIF utiliza una paleta limitada a 256 colores por fotograma y puede incluir animación. Algunos conversores solo extraen una imagen fija.
PPM es un formato sencillo de píxeles; suele ocupar bastante espacio y es útil para tareas técnicas.
La conversión puede modificar metadatos, transparencia, animación o calidad visual. Guarda el archivo original.
Antes de descargar
- Al exportar imágenes GIF puede utilizarse un solo fotograma; revisa las animaciones.
Cómo usarla
- 1
Selecciona una imagen GIF de tu dispositivo.
- 2
Ajusta las dimensiones y la configuración de imagen disponible; después, convierte a PPM.
- 3
Descarga el archivo resultante y comprueba su calidad antes de eliminar el original.
Acerca de esta herramienta
Convierte una imagen GIF a PPM mediante un codificador de archivos. Puedes ajustar el tamaño, la nitidez, el brillo, el contraste y la saturación, además de la calidad con pérdida cuando el formato la admite. En las imágenes GIF animadas solo se utiliza el primer fotograma.
La conversión puede modificar metadatos, transparencia, animación o calidad visual. Guarda el archivo original.