Explore projects
-
Implementierung eines Übersetzers für die Sprache L (Gruppe 5) des Praktikums von Prof. Bry
Updated -
Bettina Riedl / RIOT
GNU Lesser General Public License v2.1 onlyRIOT - The friendly OS for IoT
Updated -
Luca Maio / Bachelor thesis Programming
GNU General Public License v3.0 onlyProgramming Parts of the Bachelor thesis. Specifically an untyped probabilistic call-by-need lambda calculus in Haskell.
Updated -
Fabian Lukas Grubmüller / SAT-Solver
GNU General Public License v3.0 onlySAT solvers implemented for the lecture SAT Solving of the winter term 2020/2021 at LMU Munich
Updated -
Updated
-
Lukas Bartl / Tic-Tac-Types für Liquid Haskell
MIT LicenseUpdated -
Robin Soegtrop / Gruppe3F
BSD 3-Clause "New" or "Revised" LicenseImplementierung von Programmiersprachen Gruppe 3 WS 21/22. Implementierung von Sprache F in Haskell.
Updated -
An Android chat app developed in the Affective Computing Master's practical course at the LMU in cooperation with HYVE that monitors and visually displays the emotions of users during chatting.
Updated -
Unity environment for a ml-agent learning how to harvest apples.
Updated -
-
-
Autonomous systems practical course
Updated -
-
Alexander Richard / ImProg-F
BSD 3-Clause "New" or "Revised" LicenseImplementierung von Programmiersprachen WiSe 2021/22, Gruppe 1F
Updated -
Updated
-
Updated
-
Updated