Skip to content
View michaelkhuber's full-sized avatar
13 followers · 16 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report michaelkhuber

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. tuw-edbv-w20-ballot-recognizer tuw-edbv-w20-ballot-recognizer Public

    Group project in "Introduction to digital image processing" at TU Vienna. The goal is to create a ballot recognizer in MATLAB which, given an image of a ballot from the Vienna election 2020, output…

    MATLAB 1

  2. Latex Proof Structuring Environment ... Latex Proof Structuring Environment for the Course "Argumentation & Proof"
    1 
    # abproofs Proof Structuring Environment
    2 
    
              
    
              
    
                3
                
    Package containing a latex proof structuring environment according to the proof structuring rules of the course "Argumentation & Proof" / the proof tutorial of "Formal Methods of CS" at TU Vienna.
    
              
    
              
    
                4
                
    
              
    
              
    
                5
                
    ![](https://i.imgur.com/FzTesxG.png)
    
              
    
          
    
    
    
  
    

    3.