Vuenc
M.Sc. Informatics student @ TUM | B.Sc. Computer Science, B.Sc. Mathematics @ University of Passau
Munich
Pinned Repositories
Advent-of-Code-2018
My solutions for the first 11 days of AoC 2018.
advent-of-code-2022
My Haskell solutions for AoC 2022
Conways-Soldiers-Isabelle
Formalized John Conway's proof that the Conway's Soldiers/Leaping Frog game cannot be won in the Isabelle proof assistant.
FDA-Notes
Notes for Foundations in Data Analysis course @ TUM, summer 2022. Obsidian Markdown.
ML3D-Lecture-Notes
My notes for the ML3D Lecture at TUM.
slice-to-shape
TUM
Notes, material and various stuff collected while attended TUM Master's Degree
TUM-Autoloader
Automate downloading lecture material and videos from TUM moodle and TUM Live
TUM-Master-Informatics-Offered-Lectures
Matching the electives in the TUM Informatics master by area with the information if they are actually being offered this semester.
tum_info
A bunch of useful information I've collected while studying at the Technical University of Munich.
Vuenc's Repositories
Vuenc/TUM-Master-Informatics-Offered-Lectures
Matching the electives in the TUM Informatics master by area with the information if they are actually being offered this semester.
Vuenc/FDA-Notes
Notes for Foundations in Data Analysis course @ TUM, summer 2022. Obsidian Markdown.
Vuenc/ML3D-Lecture-Notes
My notes for the ML3D Lecture at TUM.
Vuenc/slice-to-shape
Vuenc/Conways-Soldiers-Isabelle
Formalized John Conway's proof that the Conway's Soldiers/Leaping Frog game cannot be won in the Isabelle proof assistant.
Vuenc/TUM
Notes, material and various stuff collected while attended TUM Master's Degree
Vuenc/TUM-Autoloader
Automate downloading lecture material and videos from TUM moodle and TUM Live
Vuenc/tum_info
A bunch of useful information I've collected while studying at the Technical University of Munich.
Vuenc/Advent-of-Code-2018
My solutions for the first 11 days of AoC 2018.
Vuenc/advent-of-code-2022
My Haskell solutions for AoC 2022
Vuenc/Bachelor-Thesis-Distribution-Valued-Games
Bachelor Thesis "Distribution-Valued Games: Overview, Analysis, and a Segmentation-Based Approach" for B.Sc. Computer Science/B.Sc. Mathematics @ University of Passau.
Vuenc/Betti-matching
Vuenc/Group-Bill-Splitter
GroupBillSplitter Backend - Split expenses with friends and easily settle them later. Vue.js/Nodes.js/Mongo DB/Express stack.
Vuenc/Group-Bill-Splitter-Frontend
GroupBillSplitter Frontend - Split expenses with friends and easily settle them later. Vue.js/Nodes.js/Mongo DB/Express stack.
Vuenc/pytorch_cluster
PyTorch Extension Library of Optimized Graph Cluster Algorithms
Vuenc/obsidian-link-embed
This plugin allow you to convert URLs in your notes into embeded previews.
Vuenc/pytorch_geometric
Graph Neural Network Library for PyTorch
Vuenc/Qaintellect.jl
Vuenc/Qaintessent.jl
Digital quantum circuit simulator written in Julia
Vuenc/QAOA-Mixers
Experimenting with different mixer gates in a QAOA setting for the Advanced Topics Quantum Computing Seminar at TUM.
Vuenc/SixtyFPS-Str8ts
Str8ts puzzle implementation demonstrating the SixtyFPS GUI framework
Vuenc/vue-pages-test