Matteo Facci's repositories
loki-cpp
C++ 17 driver for Loki
FMFSV
Formal Model For System Verification files project
Passport_checker
Use this python project to integrate with Telegram Bot API and get a notification whenever a new passport availability has been published.
faccimatteo
Config files for my GitHub profile.
lisa
📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis
movies-javascript-bolt
Neo4j Movies Example with webpack-in-browser app using the neo4j-javascript-driver
Connect4
Connect4, a MEAN stack web app developed for TAW project's exam in Ca' Foscari UNIVE.
ansible-learning
Repo to learn about ansible automation
CPU-Virtualizator
This C-project abstract the CPU behavior by interpreting instructions written in a file.cvm and executing its content.
StringGraphDomain-LiSA
Implemented a string graph domain for LiSA static analyzer.
Instability_S-ALOHA_protocol
Studying the behavior of ALOHA protocols of data link MAC sublayer.
Brooklyn
🍎 Screensaver inspired by Apple's Event on October 30, 2018