Giorgio Dell'Immagine's repositories

hoare-logic-prover

Proof-of-concept formal verification using Hoare logic

Language:PythonLicense:MITStargazers:18Issues:1Issues:0

lambdifier

Python obfuscation for the average lambda enjoyer

Language:PythonLicense:MITStargazers:9Issues:0Issues:0

pulsar-distro-guide

A guide for using the pulsar hunting distro.

psr-dataset

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

Language:Jupyter NotebookStargazers:3Issues:2Issues:0

bin2fil-py

bin2fil utility rewritten in python

Language:PythonLicense:MITStargazers:2Issues:1Issues:0

bin-rec

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

Language:PythonStargazers:1Issues:0Issues:0

bin2fil

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

Language:JavaScriptStargazers:1Issues:3Issues:2

ms-mock

Mock microservices application

Language:PythonLicense:MITStargazers:1Issues:1Issues:0

os-project

A multi-threaded virtual file system server written in C

Language:CLicense:MITStargazers:1Issues:1Issues:0

parallel-pohlig-hellman

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

Language:Jupyter NotebookLicense:MITStargazers:0Issues:0Issues:0

aoc-2023

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

Language:CLicense:MITStargazers:0Issues:0Issues:0
Language:JavaLicense:MITStargazers:0Issues:0Issues:0

dotfiles

My dotfiles

Language:Vim scriptStargazers:0Issues:0Issues:0
Stargazers:0Issues:1Issues:0

gio54321.github.io

My personal blog

Language:SCSSLicense:MITStargazers:0Issues:1Issues:0

gravity-simulator

Simple simulation of gravity

Language:JavaScriptStargazers:0Issues:1Issues:0

p2p-project

Playing Battleship over the Ethereum blockchain

Language:SolidityLicense:MITStargazers:0Issues:0Issues:0

pokemon-showdown-client

A pokemon showdown client written in python

Language:PythonStargazers:0Issues:2Issues:0

Pokemon-Showdown-Node-Bot

Pokemon Showdown Bot for Node

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

presto

Open source pulsar search and analysis toolkit

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

rec-gui

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

Language:JavaScriptStargazers:0Issues:1Issues:0

snh-project

Final project for systems and network hacking course @ unipi

Language:PHPLicense:MITStargazers:0Issues:0Issues:0