gbarbon

Back-end software engineer. IoT and software verification enthusiast. Ph.D.

HigecoItaly

Pinned Repositories

kapua
Language:Java223 34 1.7k160
ai
AI course project: an Hopfield network implementation
Language:TeX0 2 00
asa
The 'DAPA: Degradation-Aware Privacy Analysis of Android Apps' static analyser repository.
Language:Scala0 4 00
asip
Arduino Service Interface Protocol - Sparkfun Weather Station service
Language:C++0 2 00
avp
Analisys and Verification course project (a.a. 2013/2014)
Language:TeX00
clear
The CLEAR framework for the debugging of concurrent systems.
Language:Java3 3 00
custom-plugin-lib
Library that allows you to define Mia-Platform custom plugins easily
Language:JavaScript00
kapua
Language:Java0 3 00
matrixparallelmult
Dense Matrix-Matrix multiplication in Parallel
Language:C00
python-asip
A Python client for the ASIP protocol
Language:Python22

gbarbon's Repositories

gbarbon/clear
The CLEAR framework for the debugging of concurrent systems.
Language:Java3 3 00
gbarbon/python-asip
A Python client for the ASIP protocol
Language:Python22
gbarbon/ai
AI course project: an Hopfield network implementation
Language:TeX0 2 00
gbarbon/asa
The 'DAPA: Degradation-Aware Privacy Analysis of Android Apps' static analyser repository.
Language:Scala0 4 00
gbarbon/asip
Arduino Service Interface Protocol - Sparkfun Weather Station service
Language:C++0 2 00
gbarbon/avp
Analisys and Verification course project (a.a. 2013/2014)
Language:TeX00
gbarbon/custom-plugin-lib
Library that allows you to define Mia-Platform custom plugins easily
Language:JavaScript00
gbarbon/kapua
Language:Java0 3 00
gbarbon/matrixparallelmult
Dense Matrix-Matrix multiplication in Parallel
Language:C00
gbarbon/gbarbon
My personal repository
2 0
gbarbon/jdk7u-jdk
Language:Java1 0
gbarbon/tpsedgitpr
Dumb project to test pull-request mode with gihub
Language:Python2 0