Riccardo Sagramoni's repositories
distributed-student-platform
University Project for "Distributed Systems and Middleware Technologies" course (MSc Computer Ering @ University of Pisa). Distributed platform for booking and chatroom features
gameflows-social-network
University Project for "Large-Scale and Multi-Structured Databases" course (MSc Computer Engineering @ University of Pisa). Social network developed with Java, MongoDB and Neo4j
intelligent-systems-project
University Project for "Intelligent Systems" course (MSc Computer Engineering @ University of Pisa). Design and implementation of several artificial intelligences (MLP, RBFN, FIS, CNN, RNN) on a dataset composed on biophysical signals
malware-analysis
University Project for "Formal Methods for Secure Systems" course (MSc Computer Engineering @ University of Pisa). Analysis of malware samples for Android devices (fakebank and reddrop families)
android-navigation-assistant
Android Application to provide indoor navigation assistance to users with visual impairments, by using BLE beacon and QR Code Technologies.
convolutional-code-generator
University Project for "Electronics and Communication Systems" course (MSc Computer Engineering @ University of Pisa). VHDL design and logical synthesis of a convolutional code generator.
erlang-distributed-chatroom
Chatroom website written in Erlang and Typescript
Gestore-Spese
University Project for "Advanced Programming" course (BSc Computer Engineering @ University of Pisa). Developed in Java and JavaFX
map-reduce-bloom-filter
University Project for "Cloud Computing" course (MSc Computer Engineering @ University of Pisa). MapReduce applications implemented in Hadoop and Spark.
messaging-cybersecurity-project
University Project for "Foundations of Cybersecurity" course (MSc Computer Engineering @ University of Pisa). Developed in C++ with OpenSSL for Linux systems
performance-evaluation-supermarket
University Project for "Performance Evaluation of Computer Systems and Networks" course (MSc Computer Engineering @ University of Pisa). Supermarket simulator developed in OMNeT++ 5.7
rust-nethuns
Rewrite in Rust of the Nethuns unified API for fast and portable network programming. Part of MSc Computer Engineering thesis of Riccardo Sagramoni.
Tesi-Triennale
Bachelor's thesis for BSc Computer Engineering at University of Pisa, about an implementation of "KAISER" mitigation against Meltdown in a didactic kernel
go-functional
Small library with some known monads used in functional programming
rust-nethuns-miri
Safety analysis of the RustNethuns's socket model with the Miri interpreter
rust-nethuns-performance-analysis
Performance evaluation of the RustNethuns library
rust-web-server
Multi-threaded web server written in Rust. Derived from The Rust Programming Language book
secure-pos-agile
University project for "Software Systems Engineering" course at University of Pisa
vscode-format-document-with-implicit-indent
VS Code extension for formatting the currently opened document and then automatically apply implicit indentation on all the empty lines