Otros
Proyectos de taller en muchos lenguajes - un kernel de OS, emuladores, motores de juego y de base de datos, compiladores. La prueba de que bajamos tan profundo como exige el problema.
pixel-platformer
Un plataformas 2D completo en estilo pixel art - física del personaje, niveles, enemigos y objetos coleccionables. La prueba de que bajamos hasta la capa del motor de juego y no solo ensamblamos piezas ya hechas.
Ver proyecto
frostbyte
Un kernel de sistema operativo casero para x86_64, en C y ensamblador. Arranca mediante Multiboot2, pasa a modo de 64 bits con sus propias tablas de páginas, tiene un planificador apropiativo y ejecuta programas en ring 3 - arranca de verdad en QEMU.
Ver proyecto
voxelforge
Un motor voxel con una demo jugable en el navegador. El renderer apunta a WebGL2/WASM, mientras que el núcleo de simulación se compila de forma nativa y está cubierto por pruebas - decenas de miles de aserciones.
Ver proyecto
gameboy-sharp
Un emulador de Game Boy (DMG) en C#. Un núcleo sin dependencia del frontend, de modo que toda la máquina funciona y se verifica headless con ROMs de prueba estándar.
Ver proyecto
chip8-sharp
Un emulador CHIP-8 completo y probado en C#. El conjunto completo de instrucciones verificado headless con ROMs de prueba de la comunidad - una biblioteca pura sin dependencia del renderizado.
Ver proyecto
vantage
Un dashboard de escritorio para un homelab autoalojado: CPU, memoria, disco, uptime, control de contenedores Docker y health checks HTTP/TCP. Escrito en C# sobre Avalonia, con smoke tests headless.
Ver proyecto
kestrel
Un motor de base de datos relacional desde cero en Kotlin: parser SQL, almacenamiento en árbol B, ejecutor, transacciones WAL y CLI. Ejecuta consultas SQL reales y está cubierto por una suite de pruebas completa.
Ver proyecto
sift
Un solucionador SAT (DPLL) con un conjunto de herramientas de lógica proposicional y un parser DIMACS, en Haskell. Resuelve instancias reales y traduce fórmulas a CNF (Tseitin).
Ver proyecto
fml
Un pequeño lenguaje de la familia ML implementado desde cero en F#. Lexer, parser, sistema de tipos y evaluador - una cadena completa desde el código fuente hasta el resultado.
Ver proyecto
lumen
Un lenguaje de scripting de tipado dinámico en Kotlin. El código fuente se escanea, se analiza a AST, se compila a bytecode y se ejecuta en una máquina virtual de pila.
Ver proyecto
prism
Un framework web en Ruby basado únicamente en la biblioteca estándar - sin gems externas. Router, capa de controladores, ORM basado en archivos con migraciones, layouts y partials.
Ver proyecto
bazaar
Una tienda e-commerce sobre un microframework PHP propio - sin Laravel ni Symfony. Catálogo, carrito en sesión, Stripe Checkout, cuentas de clientes y un back office de administración completo, sobre sesiones endurecidas y únicamente sentencias preparadas.
Ver proyecto
slotline
Una plataforma de reserva de recursos (salas, pistas, equipos) sobre Spring Boot. El núcleo garantiza que un hueco nunca se reserve dos veces - incluso con alta concurrencia.
Ver proyecto
cellar
Un motor de hoja de cálculo con su propio lenguaje de fórmulas, en Dart puro. Parser, grafo de dependencias y recálculo de celdas - la base de cómo funciona una hoja.
Ver proyecto
cobalt
Un almacén clave-valor embebido de tipo LSM en Zig. Las escrituras recientes van a una skiplist respaldada por WAL, se vuelcan a SSTables inmutables y el espacio se recupera mediante leveled compaction.
Ver proyecto
excache
Una capa de caché en Elixir, que usa el modelo de actores OTP. Concurrente, resistente a fallos de procesos individuales, con pruebas reales.
Ver proyecto
fluxswap
Un protocolo de intercambio descentralizado (DEX) en Solidity, construido con Foundry. Pools de liquidez, router, staking y timelock - con invariantes y cobertura de pruebas completa.
Ver proyecto
gambit
Un motor de ajedrez en Scala 3. Generación de jugadas, evaluación de posiciones y búsqueda - un cerebro completo para jugar al ajedrez, construido con scala-cli.
Ver proyecto
warren
Un roguelike con progresión persistente, en Lua, controlado desde el terminal. Runs generados, clases, mutadores y "legacy" entre partidas - con modo headless y verificación del determinismo.
Ver proyecto
kite
Una biblioteca en Swift con un núcleo limpio y pruebas. Una prueba de oficio en el lenguaje nativo de Apple, lista para integrarse en una app más grande.
Ver proyectoPreguntas frecuentes
Haz clic en una pregunta - te respondemos en el chat.
Preguntas frecuentes
Haz clic en una pregunta - te respondemos en el chat.
