Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
heocon
-
-
-
-
1st clouds lab, eurecom
-
first lab for lecture cloud computing
-
repo for clouds
-
c'est seulement pour examiner
-
-
-
-
to practise
-
Porting Avatar to the Sidekick Basic Kit for LinkIt ONE and fernvale
-
Openairinterface 5G Wireless Implementation
-
A hipster HTML-Javascript timer for exam supervision
-
Openairinterface 5G Wireless Implementation
-
Openairinterface 5G Wireless Implementation
-
Openairinterface 5G Wireless Implementation
-
This project aims to automate the translation of hardware/software co-designs into a ProVerif specification that ProVerif can handle.