Luca Geretti's repositories
cpp-template
Template of C++ project with CI and coverage, using the MIT license
Language:C++MIT000
easyhome
The EasyHome project
Language:Java000
esd-course
A course on Electronic System Design, with some software engineering lectures
Language:TeX000
HelloWorld
A C++ Hello World project, using CMake, and GitHub Actions
Language:CMake000
mosquitto
Eclipse Mosquitto - An open source MQTT broker
Language:CNOASSERTION000
opera
OPERA project for runtime verification of body collisions
Language:CMakeMIT000