Pinned Repositories
AnomalyDetection
Anomaly detection in time series data.
CarND-LaneLines-P1
Lane Finding Project for Self-Driving Car ND
consensus
Dietack
Hackathon-diet&fun
enmag.github.io
Personal website
Entryphone
F3
F3 is a prototype tool that searches for fair paths in finite/infinite state transition systems.
LFC2015-2016
LFC 2015 - 2016 repository for examples and exercises
LineFollower
MusicCatalog
Simple database to organize and store music files.
enmag's Repositories
enmag/F3
F3 is a prototype tool that searches for fair paths in finite/infinite state transition systems.
enmag/CarND-LaneLines-P1
Lane Finding Project for Self-Driving Car ND
enmag/AnomalyDetection
Anomaly detection in time series data.
enmag/consensus
enmag/Dietack
Hackathon-diet&fun
enmag/enmag.github.io
Personal website
enmag/Entryphone
enmag/LFC2015-2016
LFC 2015 - 2016 repository for examples and exercises
enmag/LineFollower
enmag/MusicCatalog
Simple database to organize and store music files.
enmag/pono
Next generation cosa.
enmag/pysmt
pySMT: A library for SMT formulae manipulation and solving
enmag/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
enmag/trentose
enmag/trentose-calor
Exercise of javascript patterns
enmag/trentose-mailfilter
TrentoSE 2015-2016 - js patterns and testing exam simulation
enmag/trentose-memory
A simulation exam for the students of Software Engineering II - UNITN
enmag/trentose-run
Javascript and Testing exercise
enmag/trentose2015-final
enmag/trentose2015-midterm1
Midterm exam 2015
enmag/trentose2015-midterm2
Midterm exam 2015
enmag/WebArchAssignment5
University project
enmag/WebArchAssignment6
University project
enmag/WebArchAssignment7
University project
enmag/WebArchAssignment8
University project
enmag/WebArchDocumentRMI
University project
enmag/WebArchFirstEnterpriseBean
University project
enmag/WebArchHttpExtProcess
University project
enmag/WebArchTinyHttpDaemon
University project
enmag/WebArchXslt
University project