tommasolevato/IsMyBabySane
A C++ application for the analysis of videos (RGB + Depth) captured with the Creative Senz3D camera.
Developer Profile
tommasolevato
Discovered public repositories for tommasolevato in the GitHub catalog.
tommasolevato/ImageAndVideoAnalysis
A backup of my Matlab code for an exam of Image and Video Analysis.
tommasolevato/NoteView
A simple Tomboy style program written in C++ using Qt 5.1 libraries.
tommasolevato/SphericalPanorama
A Panorama Viewer based on the popular JavaScript library Three.js.
tommasolevato/DevisPutnamPython
An implementation of the Devis Putnam algorithm for checking the satisfiability of a first-order logic formula. The program can also create a random k-CNF proposition composed of m clauses of exactly k literals, chosen from a list of n symbols.