Hola, soy Antonio Ferreiro

P-01

cryptoKit

Aplicación de escritorio en Java para cifrar, descifrar, resumir y firmar con 44 algoritmos, de César y Enigma al ML-KEM poscuántico, y una web que enseña la historia y las matemáticas de la criptografía.

• 4 estrellas
• Actualizado oct 2026
• Desde 2017
• GPL-3.0

Mi proyecto más antiguo (2017), reescrito en su versión 2.0 (2026). La aplicación Java Swing, con tema claro y oscuro y en inglés y español, reúne cifrados clásicos, codificaciones, hashes, HMAC, hash de contraseñas (Argon2id, scrypt, bcrypt), cifrado simétrico autenticado (AES-GCM, ChaCha20-Poly1305), clave pública (RSA, X25519) y los algoritmos poscuánticos ML-KEM y ML-DSA; el mismo jar es también una herramienta de línea de comandos. La acompaña un portal con diez capítulos de historia y matemáticas, de César a los retículos, con teoremas y figuras interactivas que ejecutan los algoritmos reales en el navegador.

Decisiones clave

• Cada algoritmo lleva una etiqueta de seguridad (recomendado, heredado, roto…) y un enlace «Cómo funciona» a su capítulo del portal.
• Valores seguros por defecto: IV y nonces aleatorios, modos autenticados que rechazan datos manipulados y comparaciones en tiempo constante.
• 89 pruebas con vectores oficiales (NIST, RFC) y con textos cifrados por la versión 1.0, que siguen descifrándose.
• Publicación con GitHub Actions: el jar y paquetes portables para Windows, macOS y Linux con su propio Java; el portal, en GitHub Pages.

• Java 21
• Swing
• FlatLaf
• Bouncy Castle
• Maven
• JavaScript
• Python
• GitHub Actions

• Java 100%

P-03

Wahoo

Un compilador completo, escrito en Rust, para un lenguaje del Reino Champiñón que genera WebAssembly, y una web que enseña cómo funciona un compilador.

• 3 estrellas
• Actualizado oct 2026
• Desde 2026

Wahoo es un lenguaje con tipos estáticos (coin, pipe, bounce, wahoo(…)) y su compilador, escrito en Rust sin dependencias: análisis léxico, sintáctico, semántico, optimización y generación de WebAssembly con un codificador binario propio. La web explica cada fase en siete capítulos con figuras interactivas y un playground que ejecuta el compilador real en el navegador, compilado a su vez a WebAssembly.

Decisiones clave

• Todas las fases clásicas escritas a mano, sin generadores de parsers ni bibliotecas de Wasm: descenso recursivo, Pratt y recuperación de errores.
• Errores en inglés y español con posición exacta, pistas y «¿querías decir…?».
• El mismo compilador se ejecuta en la terminal (con el intérprete wasmi) y en el navegador, compilado a wasm32 con una ABI C mínima.
• En CI, cada programa de ejemplo se compila, se ejecuta y se compara con su salida esperada, con y sin optimizador.

• Rust
• WebAssembly
• wasmi
• Python
• JavaScript
• GitHub Actions

• HTML 37%
• Rust 28%
• JavaScript 21%
• CSS 9%
• Python 6%

P-05

Webs didácticas

Cuatro webs abiertas para estudiar arquitectura de software y las matemáticas que hay detrás de la IA, la computación cuántica y la informática.

• 13 estrellas
• Actualizado oct 2026
• Desde 2026

Lo que estudio, lo publico. Architect Study Hub es mi cuaderno de arquitecto; Math of AI, Math of Quantum y Calculus × Computing explican las matemáticas de la informática actual con teoremas, historia y figuras interactivas. Todas son sitios estáticos que se publican con GitHub Actions en GitHub Pages.

• Architect Study Hub

  Base de conocimiento de arquitectura, plataforma, IA y cloud, con 200 preguntas de entrevista, un simulacro con cronómetro y un asistente de estudio con IA que usa como contexto la página que estás leyendo.

  MkDocs · Python · LLMs4Código

• Math of AI

  Por qué funciona la IA: de los circuitos y la máquina de Turing a los LLM, con teoremas, historia y demos (incluido un intérprete de Prolog en el navegador).

  Python sin dependencias · MathML4Código

• Math of Quantum

  Las matemáticas de la computación cuántica, de los cúbits a Shor y Grover, con demostraciones y un simulador de vector de estado.

  Python sin dependencias · MathML4Código

• Calculus × Computing

  Un mapa navegable del cálculo universitario y de dónde aparece cada idea en IA, gráficos, simulación y robótica.

  Astro · TypeScript1Código

Decisiones clave

• Teoría primero: teoremas con demostraciones plegables, y una figura interactiva donde una fórmula sola no basta.
• Sitios estáticos sin backend, sin analítica y con CSP estricta; las matemáticas se convierten a MathML al compilar.
• Tres stacks distintos a propósito: MkDocs, un generador propio en Python sin dependencias, y Astro con TypeScript.
• Despliegue continuo con GitHub Actions; las webs matemáticas están en inglés y español.

• Python
• MkDocs
• Astro
• TypeScript
• MathML
• GitHub Actions