Ecco alcuni software opensource cui sto lavorando di recente.

Repository	Descrizione
Wortwerk	Motore di blogging single-user scritto in Ada, con SPARK utilizzato per le parti verificabili. Usa file locali e una struttura Markdown compatibile con Hugo, integra un editor Markdown WYSIWYG, gestione locale delle immagini, temi, newsletter, feed Atom/RSS ed esportazione/importazione portabile dei contenuti.
Tribes	Sistema di discussione decentralizzato nello stile di Usenet: espone localmente un’interfaccia NNTP per i normali client e collega i nodi tra loro mediante IPFS/libp2p, senza richiedere un server centrale. Per la GenX che è in voi.
tensor	Una fork di Conduit, il server Matrix, che supporta PostgreSQL come database e ripulisce i contenuti, in modo da essere conforme ai regolamenti UE.
Xenomorph	Server ActivityPub scritto in Ada/SPARK, concepito per essere piccolo, robusto e verificabile. Gestisce la federazione ActivityPub, WebFinger, storage su filesystem e un’interfaccia web, implementando inoltre la parte della Mastodon API necessaria ai normali client del Fediverso.
zangtumb	Server di posta minimale per uso personale, orientato alla ricezione SMTP catch-all e alla consultazione tramite IMAP, senza la complessità di una piattaforma mail completa. Fa anche da calendario iCal, per singolo utente.
zoreide	Demone di alta disponibilità per condividere e trasferire un indirizzo IP tra diversi nodi, gestendo elezione e failover tra N nodi.
zumba	Servizio che estrae da acme.json di Traefik certificati, chiavi e catene in formato PEM, così da renderli disponibili ad applicazioni esterne.
U-pod	Server minimale per ospitare file audio e pubblicare feed RSS destinati alla distribuzione di podcast.

Here are a few OSS projects I am currently working on:

Repository	Description
Wortwerk	A single-user blog engine written in Ada, using SPARK for the parts that can be formally verified. It uses local files and a Hugo-compatible Markdown structure, and includes a WYSIWYG Markdown editor, local image management, themes, newsletters, Atom/RSS feeds, and portable content import/export.
Tribes	A decentralised discussion system inspired by Usenet. It exposes a local NNTP interface for standard clients and connects nodes through IPFS/libp2p, without relying on a central server.
tensor	A fork of Conduit, the Matrix server, that supports PostgreSQL as its database and automatically cleans up content to comply with EU regulations.
Xenomorph	An ActivityPub server written in Ada/SPARK, designed to remain small, robust, and verifiable. It provides ActivityPub federation, WebFinger, filesystem-based storage, a web interface, and the subset of the Mastodon API needed by ordinary Fediverse clients.
zangtumb	A minimal personal mail server designed for catch-all SMTP reception and IMAP access, without the complexity of a full mail platform. It also provides a single-user iCal calendar.
zoreide	A high-availability daemon for sharing and transferring an IP address between multiple nodes, handling leader election and failover.
zumba	A service that extracts certificates, private keys, and certificate chains from Traefik’s acme.json file and makes them available to other applications in PEM format.
U-pod	A minimal server for hosting audio files and publishing RSS feeds for podcast distribution.