tue-mdse/timing
Python program execution timer
Developer Profile
tue-mdse
Discovered public repositories for tue-mdse in the GitHub catalog.
tue-mdse/unicodeManager
Wrapper for the Python csv module that handles UTF-8 correctly
tue-mdse/countryNameManager
Tool that tries to guess a country from a free-text location string
tue-mdse/jwzthreading
Implementation of the JWZ threading algorithm for e-mail or newsgroup messages.
tue-mdse/miningTools
Collection of miscellaneous repository mining tools
tue-mdse/genderComputer
Tool that tries to guess a person's gender based on their name and location
tue-mdse/github-stackoverflow
Set of tools to analyse the interplay between StackOverflow activities and GitHub commits
tue-mdse/pgconvert
Tool to reduce parity games
tue-mdse/php-analysis
Public repository.
tue-mdse/conferenceMetrics
Integrated database of papers and programme committee composition for software engineering conferences.
tue-mdse/mcrl2-performance
Set of scripts intended to replace the existing performance measurement scripts of mCRL2 (see mcrl2.org/performance)
tue-mdse/aliasMerger
Tool to merge the different aliases used by a single contributor to software repositories