Explore projects
-
Command line utility used to run benchmarks on clusters and collect results
Updated -
Parzival Hans Nussbaum / DAMPE STK ML
Apache License 2.0Updated -
Project and labs for the EPFL Computer language processing course (CLP, CS320). Done with Robin Nicole and Eduardo Neville Castro. All belong to the teaching team!
Updated -
Updated
-
Updated
-
Jacopo Moretti / Stainless verifier
Apache License 2.0Program verifier for Scala. Documentation, sources on GitHub
Updated -
-
Updated
-
-
Radu-Stefan Tipurita / 5G_SENS
Creative Commons Zero v1.0 UniversalUpdated