Explore projects
-
Updated
-
Updated
-
Konstantin Jefferson Fontaine / VQ-RAVE
Creative Commons Attribution Non Commercial 4.0 InternationalUpdated -
Updated
-
-
-
Verifying ZoKrates zk-proofs on the Tezos blockchain
Updated -
Updated
-
-
-
UTM server repository for the Avionics System Course '21
Updated -
-
Updated
-
Updated
-
felixmoebius / unikraft
GNU General Public License v2.0 or laterUpdated