tommasolevato/IsMyBabySane
A C++ application for the analysis of videos (RGB + Depth) captured with the Creative Senz3D camera.
Public GitHub Catalog
Discovered Sep 27, 2026
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.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#11344843GitHub System ID
tommasolevatoOrganization / User
PublicVisibility
ActiveCatalog Status
More from tommasolevato
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.