Tools is a repository with a collection of tools that I have created and that I usually use.

Tools es un repositorio con una colección de herramientas que he creado y que suelo utilizar.


File compression

Compresión de archivos

compresser: Tool to compress PDFs and files into 7z files.

compresser: Herramienta para comprimir PDFs y archivos en archivos 7z.

Developer tools

Herramientas de desarrollador

cargo-compile: A script to compile and cross-compile Rust projects.

cargo-compile: Script para compilar proyectos de Rust en distintas plataformas



image2heic: Tool to convert images to HEIC.

image2heic: Herramienta para convertir imágenes a HEIC.



bash-launcher: Command line utility to create command launchers.
finance: A simple, easy to use, finance management application.

bash-launcher: Utilidad de línea de comando para crear lanzadores de comandos.
finance: Una simple, fácil de usar, aplicación de gestión de finanzas.


Docker: Script that builds several images, so they can be built in armv7l devices

Docker: Script para construir varias imagenes que puedan ser ejecutadas en dispositivos armv7l


mdconverter: Script to export Markdown files to ready-to-use websites.
paper-entry-generator: A simple website to generate entries for a personal database of papers.
web-scaffold: Template to create websites from scratch, using HTML5, CSS and JavaScript.

mdconverter: Script para exportar archivos Markdown a sitios web listos para usar.
paper-entry-generator: Un sitio web sencillo para generar entradas para una base de datos personal de papers.
web-scaffold: Plantilla para crear sitios web desde cero, usando HTML5, CSS y JavaScript.