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 verifier
Apache License 2.0Program verifier for Scala. Documentation, sources on GitHub
Updated -
Updated