This page is still work in progress, but you can check out some of the things I've pushed on GitHub.
Logs:
- 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. |