Gabriele's repositories
applied-statistics-project
In-depth analysis about rminer package for regression. Project from my Applied Statistics and Data Analysis course in CS master degree.
autointersection
Distributed solution to let autonomous vehicles to cross an intersection. From my Distributed Systems course in CS master degree.
ltl-rmpast
Remove past from an LTL+Past formula, producing an LTL equisatisfiable one
permutation-flowshop-scheduling
Project from my Advanced Scheduling Systems course in CS master degree.
asdproject
Project from my Algorithms and Data Structures course in CS bachelor degree
droidcam
Official Linux Client code for DroidDcam
local-backup
Bash script to backup in a local repository with restic
neurosat
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
Paper-AC-Decisions-Learning
The code used for the paper: Algebraic Circuits for Decision Theoretic Inference and Learning
rddlsim
rddlsim with support for mapl-cirup language