Ola, son Antonio Ferreiro

P-01

cryptoKit

Aplicación de escritorio en Java para cifrar, descifrar, resumir e asinar con 44 algoritmos, de César e Enigma ao ML-KEM poscuántico, e unha web que ensina a historia e as matemáticas da criptografía.

• 5 estrelas
• Actualizado out 2026
• Dende 2017
• GPL-3.0

O meu proxecto máis antigo (2017), reescrito na súa versión 2.0 (2026). A aplicación Java Swing, con tema claro e escuro e en inglés e español, reúne cifrados clásicos, codificacións, hashes, HMAC, hash de contrasinais (Argon2id, scrypt, bcrypt), cifrado simétrico autenticado (AES-GCM, ChaCha20-Poly1305), clave pública (RSA, X25519) e os algoritmos poscuánticos ML-KEM e ML-DSA; o mesmo jar é tamén unha ferramenta de liña de comandos. Acompáñaa un portal con dez capítulos de historia e matemáticas, de César aos retículos, con teoremas e figuras interactivas que executan os algoritmos reais no navegador.

Decisións clave

• Cada algoritmo leva unha etiqueta de seguridade (recomendado, herdado, roto…) e unha ligazón «Como funciona» ao seu capítulo do portal.
• Valores seguros por defecto: IV e nonces aleatorios, modos autenticados que rexeitan datos manipulados e comparacións en tempo constante.
• 89 probas con vectores oficiais (NIST, RFC) e con textos cifrados pola versión 1.0, que seguen descifrándose.
• Publicación con GitHub Actions: o jar e paquetes portables para Windows, macOS e Linux co seu propio Java; o 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 unha linguaxe do Reino Cogomelo que xera WebAssembly, e unha web que ensina como funciona un compilador.

• 0 estrelas
• Actualizado out 2026
• Dende 2026

Wahoo é unha linguaxe con tipos estáticos (coin, pipe, bounce, wahoo(…)) e o seu compilador, escrito en Rust sen dependencias: análise léxica, sintáctica, semántica, optimización e xeración de WebAssembly cun codificador binario propio. A web explica cada fase en sete capítulos con figuras interactivas e un playground que executa o compilador real no navegador, compilado á súa vez a WebAssembly.

Decisións clave

• Todas as fases clásicas escritas a man, sen xeradores de parsers nin bibliotecas de Wasm: descenso recursivo, Pratt e recuperación de erros.
• Erros en inglés e español con posición exacta, pistas e «quixeches dicir…?».
• O mesmo compilador execútase no terminal (co intérprete wasmi) e no navegador, compilado a wasm32 cunha ABI C mínima.
• En CI, cada programa de exemplo compílase, execútase e compárase coa súa saída esperada, con e sen optimizador.

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

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

P-05

Webs didácticas

Catro webs abertas para estudar arquitectura de software e as matemáticas que hai detrás da IA, a computación cuántica e a informática.

• 12 estrelas
• Actualizado out 2026
• Dende 2026

O que estudo, publícoo. Architect Study Hub é o meu caderno de arquitecto; Math of AI, Math of Quantum e Calculus × Computing explican as matemáticas da informática actual con teoremas, historia e figuras interactivas. Todas son sitios estáticos que se publican con GitHub Actions en GitHub Pages.

• Architect Study Hub

  Base de coñecemento de arquitectura, plataforma, IA e cloud, con 200 preguntas de entrevista, un simulacro con cronómetro e un asistente de estudo con IA que usa como contexto a páxina que estás a ler.

  MkDocs · Python · LLMs4Código

• Math of AI

  Por que funciona a IA: dos circuítos e a máquina de Turing aos LLM, con teoremas, historia e demos (incluído un intérprete de Prolog no navegador).

  Python sen dependencias · MathML4Código

• Math of Quantum

  As matemáticas da computación cuántica, dos cúbits a Shor e Grover, con demostracións e un simulador de vector de estado.

  Python sen dependencias · MathML4Código

• Calculus × Computing

  Un mapa navegable do cálculo universitario e de onde aparece cada idea en IA, gráficos, simulación e robótica.

  Astro · TypeScript0Código

Decisións clave

• Teoría primeiro: teoremas con demostracións pregables, e unha figura interactiva onde unha fórmula soa non abonda.
• Sitios estáticos sen backend, sen analítica e con CSP estrita; as matemáticas convértense a MathML ao compilar.
• Tres stacks distintos a propósito: MkDocs, un xerador propio en Python sen dependencias, e Astro con TypeScript.
• Despregamento continuo con GitHub Actions; as webs matemáticas están en inglés e español.

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