Giorgio Dell'Immagine

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

os-project. A multi-threaded virtual file system server written in C

ms-mock. Mock microservices application

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