lgeretti

Assistant Professor in Computer Science

University of VeronaVerona, Italy

Pinned Repositories

ariadne
C++ framework for rigorous computation on cyber-physical systems
Language:C++28 9 5749
release-1.0
Frozen 1.0 release of the Ariadne C++ framework for cyber-physical systems
Language:C++0 7 540
oreilly-gradle-book-examples
Language:Java247 48 0112
cpp-template
Template of C++ project with CI and coverage, using the MIT license
Language:C++00
easyhome
The EasyHome project
Language:Java00
esd-course
A course on Electronic System Design, with some software engineering lectures
Language:TeX0 1 00
HelloWorld
A C++ Hello World project, using CMake, and GitHub Actions
Language:CMake0 0 00
mosquitto
Eclipse Mosquitto - An open source MQTT broker
Language:C00
opera
OPERA project for runtime verification of body collisions
Language:CMake00
HermesBDD
Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.
Language:C++6 5 83

lgeretti's Repositories

lgeretti/cpp-template
Template of C++ project with CI and coverage, using the MIT license
Language:C++00
lgeretti/easyhome
The EasyHome project
Language:Java00
lgeretti/esd-course
A course on Electronic System Design, with some software engineering lectures
Language:TeX0 1 00
lgeretti/HelloWorld
A C++ Hello World project, using CMake, and GitHub Actions
Language:CMake0 0 00
lgeretti/mosquitto
Eclipse Mosquitto - An open source MQTT broker
Language:C00
lgeretti/opera
OPERA project for runtime verification of body collisions
Language:CMake00