Explore projects
-
CREATE Lab / Sensing with VR / user-interface
MIT LicenseUpdated -
Updated
-
Updated
-
Updated
-
-
Pierre Guillod / Freechips
GNU Affero General Public License v3.0Updated -
Jonas' Master Thesis for Computer Vision Assisted Root Phenotyping
Updated -
Updated
-
Updated
-
Updated
-
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 -
LARA / Stainless
Apache License 2.0Verification framework and tool for higher-order Scala programs
Updated -
Updated