Explore projects
-
Updated
-
Updated
-
Pandekids : Un projet innovant pour occuper vos enfants durant le confinement !
Updated -
Jonas' Master Thesis for Computer Vision Assisted Root Phenotyping
Updated -
Stripped down, read-only version of slideshot. This was written for quickly migrating at least the public part of slideshot to a newer server.
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 -
Updated
-
Updated
-
Updated
-
Updated
-
LARA / Stainless
Apache License 2.0Verification framework and tool for higher-order Scala programs
Updated -
Updated
-
-
Updated