Repositories list

• genderComputer

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

  Python

  •

  MIT License

  •37•92•2•1•Updated Aug 13, 2024Aug 13, 2024

• conferenceMetrics

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

  13•35•4•0•Updated Apr 28, 2023Apr 28, 2023

• mcrl2-performance

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

  Python

  •1•0•0•0•Updated Nov 21, 2022Nov 21, 2022

• php-analysis

  Public
  Java

  •8•0•0•0•Updated Nov 21, 2022Nov 21, 2022

• github-stackoverflow

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

  1•0•0•0•Updated Nov 21, 2022Nov 21, 2022

• aliasMerger

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

  Python

  •2•2•0•0•Updated Nov 21, 2022Nov 21, 2022

• miningTools

  Public
  Collection of miscellaneous repository mining tools

  2•0•0•0•Updated Nov 21, 2022Nov 21, 2022

• timing

  Public
  Python program execution timer

  Python

  •1•0•0•0•Updated Nov 21, 2022Nov 21, 2022

• countryNameManager

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

  Python

  •6•6•0•0•Updated Nov 21, 2022Nov 21, 2022

• unicodeManager

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

  Python

  •3•1•0•0•Updated Nov 21, 2022Nov 21, 2022

• pgconvert

  Public
  Tool to reduce parity games

  C++

  •1•0•0•0•Updated Nov 21, 2022Nov 21, 2022

• ocl-dataset

  Public
  A Data Set of OCL Expressions on GitHub

  Java

  •3•4•0•0•Updated Nov 21, 2022Nov 21, 2022

• jwzthreading

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

  Python

  •

  Other

  •14•0•0•0•Updated Nov 25, 2011Nov 25, 2011