Gabriele Masina's repositories
allsat-cnf
Code for the paper "On CNF Conversion for SAT Enumeration"
Language:C++MIT000
binder
Binder, tool for automatic generation of Python bindings
Language:C++MIT000
Language:Lua000
FindMyRoute
Web app for the mapping of bike routes developed for a school project.
Language:PHP000
popular_twitter_topics_mining
Identify topics that have been popular on Twitter in multiple time periods
Language:PythonMIT000
gesture-recognition
Python project using opencv to recognize hand gestures
Language:Python000
hybrid-benchmarks
Some WMI benchmarks
000
Language:C++000
nvim-config
Neovim custom config
Language:LuaGPL-3.0000
palestradialgoritmi
Training for the Olympiad in Informatics, Liceo Scientifico Galilei, Trento, 2018/2019, 2019/2020, 2020/2021
Language:C++000
pysmt
pySMT: A library for SMT formulae manipulation and solving
Language:PythonApache-2.0000
wmi-pa
Efficient WMI via SMT-Based Predicate Abstraction
Language:PythonMIT000