Explore projects
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Pierre Guillod / Freechips
GNU Affero General Public License v3.0Updated -
CREATE Lab / Sensing with VR / user-interface
MIT LicenseUpdated -
LARA / Stainless
Apache License 2.0Verification framework and tool for higher-order Scala programs
Updated -
-
The goal of this project is to offer Master and grad students from IC School with an EPFL domain webpage where they can showcase information about themselves and their research.
Updated