Explore projects
-
LARA / Stainless verifier
Apache License 2.0Program verifier for Scala. Documentation, sources on GitHub
Updated -
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 -
Updated
-
Updated
-
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 -
Simon Josef Thür / embedded-systems-tp
MIT LicenseUpdated -
Updated
-
Updated
-
esap / esap-api-gateway
Apache License 2.0Updated