Cyofanni

High School Computer Science teacher

Padua, Italy

Pinned Repositories

bachelor-thesis
Final internship report for the Bachelor's degree.
Language:TeX1 1 00
gnbLang
Language:C2 1 00
haskell_homework
This repository contains some Haskell exercises.
Language:Haskell1 1 00
high-school-cs-class
Computer Science for high schools (Italy)
Language:Python25 3 06
MeMoCo-exercises
Methods and Models for Combinatorial Optimization lab exercises.
Language:C++1 1 00
music-genre-classification
This project aims to classify audio files according to the music they contain (Machine Learning class, University of Padua, Master's degree in Computer Science).
Language:Python1 2 00
Obliv-C-assignments
Assignments for a course about Secure Computation and Privacy issues in Social Networks
Language:Shell1 1 00
PMModelChecker
PMModelChecker is a model checking tool for solving fixpoint equational systems by means of Progress Measures.
Language:C++1 2 00
speect
Language:C10
speect
Language:C4 5 07

Cyofanni/high-school-cs-class
Computer Science for high schools (Italy)
Language:Python25 3 06
Cyofanni/gnbLang
Language:C2 1 00
Cyofanni/bachelor-thesis
Final internship report for the Bachelor's degree.
Language:TeX1 1 00
Cyofanni/haskell_homework
This repository contains some Haskell exercises.
Language:Haskell1 1 00
Cyofanni/MeMoCo-exercises
Methods and Models for Combinatorial Optimization lab exercises.
Language:C++1 1 00
Cyofanni/music-genre-classification
This project aims to classify audio files according to the music they contain (Machine Learning class, University of Padua, Master's degree in Computer Science).
Language:Python1 2 00
Cyofanni/Obliv-C-assignments
Assignments for a course about Secure Computation and Privacy issues in Social Networks
Language:Shell1 1 00
Cyofanni/PMModelChecker
PMModelChecker is a model checking tool for solving fixpoint equational systems by means of Progress Measures.
Language:C++1 2 00
Cyofanni/speect
Language:C10