tue-mdse Goto Github PK

aliasmerger

Tool to merge the different aliases used by a single contributor to software repositories

conferencemetrics

Integrated database of papers and programme committee composition for software engineering conferences.

countrynamemanager

Tool that tries to guess a country from a free-text location string

gendercomputer

Tool that tries to guess a person's gender based on their name and location

github-stackoverflow

Set of tools to analyse the interplay between StackOverflow activities and GitHub commits

jwzthreading

Implementation of the JWZ threading algorithm for e-mail or newsgroup messages.

mcrl2-performance

Set of scripts intended to replace the existing performance measurement scripts of mCRL2 (see mcrl2.org/performance)

miningtools

Collection of miscellaneous repository mining tools

ocl-dataset

A Data Set of OCL Expressions on GitHub

pgconvert

Tool to reduce parity games

php-analysis

timing

Python program execution timer

unicodemanager

Wrapper for the Python csv module that handles UTF-8 correctly