Moodle

The course including Kick-Off and Application and Submissions, is handled via Moodle

Application

Before registering for the course, you need to apply for a topic. Participation is limited because of individual supervision. The deadline is usually some time in the first week of TU Darmstadt Semester “Courses Start” date! If there are too many applicants, we will decide based on your motivation text (see Moodle for the registration).

You can sign up alone or in a team of two persons. To find a team partner, you may use our Moodle forum. As an (unofficial) communication channel, you may try to find like-minded students in Discord.

Topics

We will have ca. 6 slots available this semester. Topics will be finalized and published here by 13th April Monday. Until then, compare the (project) topics from last semester.

title
PC1: Better Syncthing with CRDTs
PD1: Syntax, Semantics and Typesystems in Lean
PF1: Local Sync for Local-first
PF2: Making FOSS apps Local-first
PF3: Improving Awareness for Git-based Collaboration
PJ1: Implementing Compositional Distributed Protocols with Replicated Data Types in Scala
PS1: Choreographic Actors
PT1: Formalizing Programming Languages in Lean