Explore projects
-
LARA / Stainless
Apache License 2.0Verification framework and tool for higher-order Scala programs
Updated -
Updated
-
Updated
-
Updated
-
Updated
-
-
Updated
-
Updated
-
Updated
-
Updated
-
-
CREATE Lab / Sensing with VR / user-interface
MIT LicenseUpdated -
Pierre Guillod / Freechips
GNU Affero General Public License v3.0Updated -
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 -
Updated
-
Repository containing the graded assignments for MATH-611: Scientific Programming for Engineers in Fall 22.
Owned by Zeynep Ozge Orhan & Pembe Gizem Ozdil.
Updated