gio54321

hoare-logic-prover

Proof-of-concept formal verification using Hoare logic

lambdifier

Python obfuscation for the average lambda enjoyer

pulsar-distro-guide

A guide for using the pulsar hunting distro.

psr-dataset

Dataset of (almost) daily recordings of the B0329+54 pulsar.

bin2fil-py

bin2fil utility rewritten in python

bin-rec

Command line software based on gnuradio that can acquire data from most of SDRs

bin2fil

Format conversion and first elaboration to make filterbank files out of .bin files

ms-mock

Mock microservices application

os-project

A multi-threaded virtual file system server written in C

parallel-pohlig-hellman

Parallel implementation of Pohligh-Hellman + baby-step gient-step for discrete log computation

aoc-2023

Advent of code 2023, each day in a different (cursed) languages

computer-networks-lab-project

dotfiles

My dotfiles

gio54321

gio54321.github.io

My personal blog

gravity-simulator

Simple simulation of gravity

p2p-project

Playing Battleship over the Ethereum blockchain

pokemon-showdown-client

A pokemon showdown client written in python

Pokemon-Showdown-Node-Bot

Pokemon Showdown Bot for Node

presto

Open source pulsar search and analysis toolkit

rec-gui

A graphical interface that can run acquisitions from a sdr dongle (written for pulsar recording)

snh-project

Final project for systems and network hacking course @ unipi