enmag

Pinned Repositories

AnomalyDetection
Anomaly detection in time series data.
Language:Python00
CarND-LaneLines-P1
Lane Finding Project for Self-Driving Car ND
Language:Jupyter Notebook10
consensus
Language:Go0 3 00
Dietack
Hackathon-diet&fun
Language:CSS0 3 00
enmag.github.io
Personal website
Language:HTML0 1 00
Entryphone
Language:C++0 2 00
F3
F3 is a prototype tool that searches for fair paths in finite/infinite state transition systems.
Language:C4 2 02
LFC2015-2016
LFC 2015 - 2016 repository for examples and exercises
Language:HTML015
LineFollower
Language:C++0 2 00
MusicCatalog
Simple database to organize and store music files.
Language:Python00

enmag's Repositories

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