Explore projects
-
Updated
-
Updated
-
ANSI C data declaration module constructor: Datadec transforms a series of Haskell style recursive (or inductive) datatype declarations into a C module to implement them.
Updated -
Deleep, Avaneesh / gem5_new
BSD 3-Clause "New" or "Revised" LicenseUpdatedUpdated -
Updated
-
Davide Cavezza / FormaliSE20repo
GNU General Public License v3.0 or laterUpdated -
Davide Cavezza / TACAS20repo
GNU General Public License v3.0 or laterUpdated -
A C++ example of running TensorFlow Object Detection model in live mode.
Updated -
Updated
-
Repository containing the implementations and data of the PhD thesis of Davide Cavezza
Updated -
Updated
-
Updated
-
Updated
-
UnID or Unified Identification is a smart way of storing and sharing just the data you need to use, through your phone, a special card or a web server. It should provide convenience and security through the use of blockchains.
Updated -
Updated
-
A RC quadcopter flight controller for Arduino with an Android client
Updated