andreastedile Goto Github PK

aca

Image compression using Quadtrees

actum

actum-old

Experimental actor library in Rust

andreastedile.github.io

asa

autenticazione

Wireshark analysis of PEAP-MSCHAPv2 and WPA2-PSK

bachelor-thesis

barnes-hut

Parallel implementation of the Barnes–Hut approximation algorithm, using C++17's parallel STL algorithms, OpenMP and MPI.

collatz

Visualization of the Collatz conjecture

exploring-system-calls

Una breve ricerca sulle system call basata sull'analisi dei dump dei file oggetto prodotti dalla compilazione di programmi C

formal-methods-2022

Repository containing the exercises solved during the Lab lectures for the course of Formal Methods (a.k.a. "Module 1: Automated Reasoning" and "Module 2: Model Checking") for the academic year 2021/2022

formal-methods-lab

Repository containing the exercises solved during the Lab lectures for the course of Formal Methods (a.k.a. "Module 1: Automated Reasoning" and "Module 2: Model Checking") for the academic year 2020/2021

ip-router.p4app

lfc

Appunti del corso di Linguaggi formali e compilatori tenutosi l'A.A. 2018-2019.

raft

A simulator of the Raft consensus algorithm in Akka typed comprising a GUI

raft-stateright

Develop and verify the Raft consensus algorithm

reply-code-challenge-2022

Reply Code Challenge 2022. We ranked #129 on 2820.

sde

Demonstration of Docker and Docker compose basic usage for the Service Design and Engineering course

stateright

A model checker for implementing distributed systems.

tile

GNOME extension that snaps the window to a portion of the screen

tls

A collection of Tokio based TLS libraries.

tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

too-many-lists

Learn Rust by writing Entirely Too Many linked lists

trento

Strade di Trento colorate in base al prefisso

tutorials

P4 language tutorials

webarch

webrtc

A pure Rust implementation of WebRTC

yplushistogram

y+ histogram tool in PyQt I developed as part of my bachelor thesis