Vincent Bürgin (@Vuenc)
github

Vuenc

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    116
  • Global Rank 186,641 (Top 7 %)
  • Followers 10
  • Following 21
  • Registered almost 8 years ago
  • Most used languages
    Markdown     20.0 %
    Python
         20.0 %
    Isabelle     20.0 %
    HTML
         20.0 %
    Rust
         20.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 10,570
  • Country Ranking
    Markdown     10
    Isabelle     15
    HTML
         271
    Rust
         2,774

Top repositories

1

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.
HTML
101
star
2

ML3D-Lecture-Notes

My notes for the ML3D Lecture at TUM.
Markdown
4
star
3

slice-to-shape

Python
4
star
4

FDA-Notes

Notes for Foundations in Data Analysis course @ TUM, summer 2022. Obsidian Markdown.
3
star
5

TUM-Autoloader

Automate downloading lecture material and videos from TUM moodle and TUM Live
Rust
1
star
6

Conways-Soldiers-Isabelle

Formalized John Conway's proof that the Conway's Soldiers/Leaping Frog game cannot be won in the Isabelle proof assistant.
Isabelle
1
star