diegodiasm

Systems Verification Engineer at Kernkonzept

Kernkonzept GmbHDresden

Pinned Repositories

arduino-home
Automation for turning on/off home appliances using webapp
1 2 00
doxygen
Official doxygen git repository
Language:C++00
infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCaml00
service-scheduler
Service scheduler
Language:Java0 2 00
water-pump
Residential Water Pump Control using Arduino
Language:C++0 2 00
doxygen
Official doxygen git repository
Language:C++5.9k 152 7.9k1.3k

diegodiasm's Repositories

diegodiasm/arduino-home
Automation for turning on/off home appliances using webapp
1 2 00
diegodiasm/doxygen
Official doxygen git repository
Language:C++00
diegodiasm/infer
A static analyzer for Java, C, C++, and Objective-C
Language:OCaml00
diegodiasm/service-scheduler
Service scheduler
Language:Java0 2 00
diegodiasm/water-pump
Residential Water Pump Control using Arduino
Language:C++0 2 00