This page is still work in progress, but you can check out some of the things I've pushed on GitHub.
Logs:
- 2025-07: Released code-vibes. This is a very simple webapp that streams music while I'm programming. The initial idea and implementation was from 2019, this one is a simple reimplementation using modern tech.
- 2025-05: Released yes, we kana. I'm learning Japanese and this has been quite helpful to learn hiragana and katakana.
- 2025-05: Released OpenSingleTab. It's a free reimplementation of OneTab. Available on Firefox and Chrome webstores.
- 2025-09: Moved my wiki from GitHub to https://docs.tlapl.us. I've done a small presentation to the TLA+ community for the need of a wiki. I've created it on GitHub first, then moved it to dokuwiki and then was able to land it to docs.tlapl.us.
Full Incomplete list of projects (ordered by last update):
Project | Language | Description |
---|---|---|
genereto-template-main | HTML | No description |
Horust | Rust | Horust is a supervisor / init system written in rust and designed to run inside containers. |
awesome-distributed-systems | N/A | A curated list of awesome distributed systems links. |
OpenSingleTab | TypeScript | A simple browser extension to keep your tabs under control. |
snitchrs | Rust | Find to which IP your machine is sending requests using eBPF. |
genereto | Rust | A static site generator for blogs. |
cryptopals | Rust | My solutions to cryptopals challanges. |
tlaplus-formatter | TLA | No description |
practical-vim-code | JavaScript | Practical Vim, Second Edition Edit Text at the Speed of Thought by Drew Neil. |
vfat-rs | Rust | A FAT32 filesystem implementation written in rust. |
tlaplus-wiki | CSS | Moved to dokuwiki: https://docs.tlapl.us |
advent-of-code | Rust | My solutions for advent of code. |
federicoponzi.github.io | N/A | No description |
SudokuSolver | Java | A Sudoku Solver using Java's Fork/Join framework. |
LegoLab | C++ | Software implemented for my LegoLab university course. |
TrasportiRomaBot | Python | A telegram bot to get information on Rome's public transportation. |
tla-plus-specs | TLA | No description |
tlaplus-specs-template | TLA | No description |
bare-metal-space-invaders | Rust | No description |
bina | Rust | Bina programming language |
horcrust | Rust | No description |
ProgrammazioneDiSistema2014-2015 | N/A | Appunti, script ed altro del corso di Programmazione di Sistema 2014-2015. |
distributed-systems-bot | Go | The code powering @distribsystems on Twitter |
rust-ci | Dockerfile | A template repo for your rust project. |
protohackers | Go | No description |
Isitdown.site | HTML | The source code for isitdown.site web application. |
sapienza-wifi-login | Python | No description |
libsmalloc | Rust | A custom malloc implementation |
lesser | Rust | Lesser: a CLI based text reader |
HashTable | C++ | An associative array implementation in C. |
green_trust | Rust | No description |
myshell | C | A terminal shell in C |
ConcurrentAlgorithms | Java | This repo contains some implementations of algorithms from my Concurrent Systems Course. |
Sapy | Java | Sapy is a programming language inspired by Basic for my Advanced Programming University course 2012/2013. |
media-server | Dockerfile | A simple docker based media-server |
DrawingApp | Java | A fully Material Design, beautiful and simple Drawing app. |
GithubActionsPlayground | HTML | test |
MyDFS | HTML | A simple distributed file system. |
ApacheOozieWorkflowVisualizer | JavaScript | A simple js tool to visualize Apache Oozie's workflows. |
Progetto-OS-2013-2014 | Shell | A bash program for correcting students exams. My project for OS exam. |
BillionTriplesDataset | Java | Billion Triples Dataset analysis for my Big Data Computing course. |
sHTMLPreprocessor | Python | A dead simple html preprocessor. |
TicTacToeServerClient | Go | A simple TicTacToe game server with client |
EarlyWarning | Java | Android prototype of HCI exam project. |
SapienzaWifi | Java | SapienzaWifi app full source code. |
JavaTextEditor | CSS | My first java program. Just a story for the ages. |
EarlyWarningIUM | Java | Prototipo per il progetto di Interazione uomo macchina. |
sLearning | PHP | A cms for creating an e-learning site. |
Drop | Java | Drop is a game developed in Libgdx and an improvement of the source code provided in Libgdx wiki |
SimpleChat | Java | A simple chat developed in Java using multi-threading and Sockets. |