Explore projects
-
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 -
Updated
-
Deleep, Avaneesh / gem5_new
BSD 3-Clause "New" or "Revised" LicenseUpdatedUpdated -
UpdatedUpdated
-
Davide Cavezza / TACAS20repo
GNU General Public License v3.0 or laterUpdated -
Deleep, Avaneesh / gem5
BSD 3-Clause "New" or "Revised" LicenseUpdatedUpdated -
YEET Electronic Education Tool language for the YEET
Updated -
Updated
-
Updated
-
A RC quadcopter flight controller for Arduino with an Android client
Updated -
ptb14 / Endorob
MIT No AttributionUpdated -
Updated
-
Repository containing the implementations and data of the PhD thesis of Davide Cavezza
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
-
Davide Cavezza / FormaliSE20repo
GNU General Public License v3.0 or laterUpdated