Explore projects
-
Dinghao Shi / MyThesis
BSD 3-Clause "New" or "Revised" LicenseUpdated -
UpdatedUpdated
-
Kai Naumann / dark_mode_isabelle
BSD 3-Clause "New" or "Revised" LicenseUpdated -
-
Updated
-
-
Updated
-
-
-
Fabian Lukas Grubmüller / Sudoku Solver
MIT LicenseSolver for n-sudokus, implemented in C++.
Updated -
-
Genome Oriented Bioinformatics Lab Course Rost Lab Prona Group Winter Semester 2021/2022
Updated -
-
Updated
-
Bachelor Thesis: Neural network for classifying routes in a 2d space as homotopic or alternative.
Updated