Popular repositories Loading

1. check24messenger check24messenger Public

   messenger for check24 challenge

   JavaScript

2. adventOfCode2022 adventOfCode2022 Public

   approaches for some of the 2022 advent of code challenges

   C++

3. btwial btwial Public

   Forked from TUM-Dev/tum-thesis-latex

   📔 A LaTeX template for TUM Bachelor/Master theses.

   TeX

4. theorem_proving theorem_proving Public

   Assignments in a course on proving theorems about functional data structures using the Proof Assistant Isabelle

   Isabelle

5. dadrone dadrone Public

   TartanHacks2025

   Python 1

6. movie_py movie_py Public

   Team Mango Rhubarb Lychee Py

   Python