Torna al portfolio

Altro

Progetti da officina in molti linguaggi - un kernel di OS, emulatori, motori di gioco e di database, compilatori. La prova che scendiamo tanto in basso quanto il problema richiede.

pixel-platformer

pixel-platformer

Un platform 2D completo in stile pixel art - fisica del personaggio, livelli, nemici e oggetti da raccogliere. La prova che scendiamo fino al livello del motore di gioco e non ci limitiamo ad assemblare pezzi pronti.

Vedi progetto
frostbyte

frostbyte

Un kernel di sistema operativo hobbistico per x86_64, in C e assembly. Fa il boot tramite Multiboot2, passa alla modalità a 64 bit con le proprie tabelle delle pagine, ha uno scheduler preemptive ed esegue programmi in ring 3 - si avvia davvero in QEMU.

Vedi progetto
voxelforge

voxelforge

Un motore voxel con demo giocabile nel browser. Il renderer punta a WebGL2/WASM, mentre il core di simulazione si compila in modo nativo ed è coperto da test - decine di migliaia di asserzioni.

Vedi progetto
gameboy-sharp

gameboy-sharp

Un emulatore Game Boy (DMG) in C#. Un core senza dipendenze dal frontend, così l'intera macchina funziona ed è verificata headless su ROM di test standard.

Vedi progetto
chip8-sharp

chip8-sharp

Un emulatore CHIP-8 completo e testato in C#. L'intero set di istruzioni verificato headless su ROM di test della community - una libreria pura senza dipendenze dal rendering.

Vedi progetto
vantage

vantage

Una dashboard desktop per un homelab self-hosted: CPU, memoria, disco, uptime, controllo dei container Docker e health check HTTP/TCP. Scritta in C# su Avalonia, con smoke test headless.

Vedi progetto
kestrel

kestrel

Un motore di database relazionale da zero in Kotlin: parser SQL, storage su B-tree, executor, transazioni WAL e CLI. Esegue query SQL reali ed è coperto da una suite di test completa.

Vedi progetto
sift

sift

Un solver SAT (DPLL) con un toolkit di logica proposizionale e un parser DIMACS, in Haskell. Risolve istanze reali e traduce le formule in CNF (Tseitin).

Vedi progetto
fml

fml

Un piccolo linguaggio della famiglia ML implementato da zero in F#. Lexer, parser, sistema di tipi ed evaluator - una catena completa dal codice sorgente al risultato.

Vedi progetto
lumen

lumen

Un linguaggio di scripting a tipizzazione dinamica in Kotlin. Il sorgente viene scansionato, analizzato in AST, compilato in bytecode ed eseguito su una macchina virtuale a stack.

Vedi progetto
prism

prism

Un framework web in Ruby basato esclusivamente sulla libreria standard - senza gem esterne. Router, livello dei controller, ORM su file con migrazioni, layout e partial.

Vedi progetto
bazaar

bazaar

Un negozio e-commerce su un micro-framework PHP proprietario - senza Laravel e Symfony. Catalogo, carrello in sessione, Stripe Checkout, account clienti e un back office amministrativo completo, su sessioni rafforzate e solo prepared statement.

Vedi progetto
slotline

slotline

Una piattaforma di prenotazione risorse (sale, campi, attrezzature) su Spring Boot. Il core garantisce che uno slot non venga mai prenotato due volte - anche con elevata concorrenza.

Vedi progetto
cellar

cellar

Un motore per fogli di calcolo con un proprio linguaggio di formule, in puro Dart. Parser, grafo delle dipendenze e ricalcolo delle celle - il fondamento del funzionamento di un foglio.

Vedi progetto
cobalt

cobalt

Uno store key-value embedded di tipo LSM in Zig. Le scritture recenti finiscono in una skiplist su WAL, vengono scaricate in SSTable immutabili e lo spazio viene recuperato dalla leveled compaction.

Vedi progetto
excache

excache

Uno strato di cache in Elixir, basato sul modello ad attori OTP. Concorrente, resistente ai guasti di singoli processi, con test reali.

Vedi progetto
fluxswap

fluxswap

Un protocollo di exchange decentralizzato (DEX) in Solidity, costruito con Foundry. Pool di liquidità, router, staking e timelock - con invarianti e copertura di test completa.

Vedi progetto
gambit

gambit

Un motore scacchistico in Scala 3. Generazione delle mosse, valutazione delle posizioni e ricerca - un cervello completo per giocare a scacchi, costruito con scala-cli.

Vedi progetto
warren

warren

Un roguelike con progressione persistente, in Lua, controllato dal terminale. Run generati, classi, mutatori e "legacy" tra le partite - con modalità headless e verifica del determinismo.

Vedi progetto
kite

kite

Una libreria in Swift con un core pulito e test. Una prova di artigianato nel linguaggio nativo di Apple, pronta per essere integrata in un'app più grande.

Vedi progetto

Domande frequenti

Clicca su una domanda - rispondiamo in chat.