Pinned Repositories
aca
Image compression using Quadtrees
actum
An asynchronous, runtime-agnostic and testable actor library.
actum-old
Experimental actor library in Rust
andreastedile.github.io
asa
barnes-hut
Parallel implementation of the Barnes–Hut approximation algorithm, using C++17's parallel STL algorithms, OpenMP and MPI.
exploring-system-calls
Una breve ricerca sulle system call basata sull'analisi dei dump dei file oggetto prodotti dalla compilazione di programmi C
lfc
Appunti del corso di Linguaggi formali e compilatori tenutosi l'A.A. 2018-2019.
reply-code-challenge-2022
Reply Code Challenge 2022. We ranked #129 on 2820.
trento
Strade di Trento colorate in base al prefisso
andreastedile's Repositories
andreastedile/lfc
Appunti del corso di Linguaggi formali e compilatori tenutosi l'A.A. 2018-2019.
andreastedile/exploring-system-calls
Una breve ricerca sulle system call basata sull'analisi dei dump dei file oggetto prodotti dalla compilazione di programmi C
andreastedile/reply-code-challenge-2022
Reply Code Challenge 2022. We ranked #129 on 2820.
andreastedile/trento
Strade di Trento colorate in base al prefisso
andreastedile/aca
Image compression using Quadtrees
andreastedile/actum
An asynchronous, runtime-agnostic and testable actor library.
andreastedile/actum-old
Experimental actor library in Rust
andreastedile/andreastedile.github.io
andreastedile/asa
andreastedile/autenticazione
Wireshark analysis of PEAP-MSCHAPv2 and WPA2-PSK
andreastedile/bachelor-thesis
andreastedile/barnes-hut
Parallel implementation of the Barnes–Hut approximation algorithm, using C++17's parallel STL algorithms, OpenMP and MPI.
andreastedile/collatz
Visualization of the Collatz conjecture
andreastedile/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
andreastedile/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
andreastedile/ip-router.p4app
andreastedile/raft
A simulator of the Raft consensus algorithm in Akka typed comprising a GUI
andreastedile/raft-stateright
Develop and verify the Raft consensus algorithm
andreastedile/sde
Demonstration of Docker and Docker compose basic usage for the Service Design and Engineering course
andreastedile/stateright
A model checker for implementing distributed systems.
andreastedile/tile
GNOME extension that snaps the window to a portion of the screen
andreastedile/tls
A collection of Tokio based TLS libraries.
andreastedile/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
andreastedile/too-many-lists
Learn Rust by writing Entirely Too Many linked lists
andreastedile/tutorials
P4 language tutorials
andreastedile/webarch
andreastedile/webrtc
A pure Rust implementation of WebRTC
andreastedile/yplushistogram
y+ histogram tool in PyQt I developed as part of my bachelor thesis