Filippo Fantinato's repositories
algorithms-on-graphs
A collection of algorithms on graphs
analysis-italian-emergency-department
Process Mining project ; Master's Degree in Computer Science @ UniPD
000
deep-learning-activities
Deep Learning course activities ; Master's Degree in Computer Science @ UniPD
Language:Jupyter Notebook000
Language:Shell000
dotfiles
Personal dotfiles and scripts
Language:Shell000
experimental-evaluation-of-hotmoka-blockchain
Bachelor thesis ; Bachelor's Degree in Computer Science @ UniPD
FilippoFantinato
My personal GitHub homepage
000
machine-learning-activities
Machine Learning course activities ; Master's Degree in Computer Science @ UniPD
Language:Jupyter Notebook000
TinyML
Interpreter for a small functional language
Language:F#000
travelling-salesman-problem
Methods and heuristics for Travelling Salesman Problem
Language:C++000
KLox
A Kotlin implementation of Lox interpreter
Language:Kotlin000
model-checking-and-synthesis-of-best-effort-strategies-for-safety-and-co-safety-ltl
Master thesis ; Master's Degree in Computer Science @ UniPD
simple-synthetiser
Just a simple safety and co-safety synthesizer
type-theory
Type Theory course ; Master's Degree in Computer Science @ UniPD
Language:Agda000
Language:Python000