Bevy is an open-source ECS based game engine written in Rust programming language.  https://bevyengine.org/    https://github.com/bevyengine/bevy
ECS (Entity-Component-System) is a software pattern which is generally used in computer games.
Bevy is a novel project which is not as mature as other game engines like Unity, Godot, Unreal etc. Therefore, currently it lacks a built in GUI based profiler to collect performance metrics when games are run on it.

In the CoLoRs lab, we have a robot arm (UR10) with a 3-fingered gripper and a force/torque sensor in the wrist. The aim of this project is to teach this robot to prepare cappuccino. For this, the students should

Locality Sensitivity Hashing (LSH) is a powerful approach to similarity (or distance) estimation, which exploits a family of randomized hash functions to map the similar data instances to the same buckets with a higher probability than the dissimilar ones. In other words, LSH algorithms produce comparable hash values for similar values unlike the cryptographic hash algorithms that produces entirely different outputs for similar values.

Runtime verification is a computing system analysis and execution approach based on extracting information from a running system and using it to detect and possibly react to observed behaviors satisfying or violating certain properties. Reelay is a header-only C++ library for system-level verification and testing of real-time systems. Reelay implements state-of-the-art runtime verification techniques to construct runtime monitors that check temporal behaviors of the system against system-level requirements.