Vincent Bürgin's repositories
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.
ML3D-Lecture-Notes
My notes for the ML3D Lecture at TUM.
Conways-Soldiers-Isabelle
Formalized John Conway's proof that the Conway's Soldiers/Leaping Frog game cannot be won in the Isabelle proof assistant.
TUM-Autoloader
Automate downloading lecture material and videos from TUM moodle and TUM Live
Advent-of-Code-2018
My solutions for the first 11 days of AoC 2018.
advent-of-code-2022
My Haskell solutions for AoC 2022
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.
Group-Bill-Splitter
GroupBillSplitter Backend - Split expenses with friends and easily settle them later. Vue.js/Nodes.js/Mongo DB/Express stack.
Group-Bill-Splitter-Frontend
GroupBillSplitter Frontend - Split expenses with friends and easily settle them later. Vue.js/Nodes.js/Mongo DB/Express stack.
pytorch_cluster
PyTorch Extension Library of Optimized Graph Cluster Algorithms
obsidian-link-embed
This plugin allow you to convert URLs in your notes into embeded previews.
pytorch_geometric
Graph Neural Network Library for PyTorch
Qaintessent.jl
Digital quantum circuit simulator written in Julia
QAOA-Mixers
Experimenting with different mixer gates in a QAOA setting for the Advanced Topics Quantum Computing Seminar at TUM.
relAI-Blogpost-Persistent-Homology
Code for my persistent homology primer blogpost on the Zuse School for Reliable AI (relAI) blog
SixtyFPS-Str8ts
Str8ts puzzle implementation demonstrating the SixtyFPS GUI framework