A causal inference-driven framework for functional black-box testing of complex software.

Open Source, Language Agnostic Mutation Testing

A Reproducible Benchmark of Recent Java Bugs

macOS system monitor in your menu bar

Turn Junit XML reports into self contained HTML reports

A GUI tool for socket testing. It can create both TCP and UDP client or server.

A toy programming language with time travel

🧮Pairwise combinations generator with constraints for Java

Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians a…

A collection of small python games made by me using pygame and tkinter libraries

Tools and standards for conducting and evaluating research in software engineering

LaTeX editor written in Java

[TMLR] A curated list of language modeling researches for code (and other software engineering activities), plus related datasets.

MontiCore is a language workbench for an efficient development of domain-specific languages.

An extensible framework for feature-oriented software development

Chromium running inside your terminal

The PYthoN General UnIt Test geNerator is a test-generation tool for Python

UnrealCV: Connecting Computer Vision to Unreal Engine

Unreal environments for reinforcement learning

Leveraging BERT and c-TF-IDF to create easily interpretable topics.

A simple tool for visually comparing two PDF files

JPype is cross language bridge to allow Python programs full access to Java class libraries.

The ultimate Vim configuration (vimrc)

TeXstudio is a fully featured LaTeX editor. Our goal is to make writing LaTeX documents as easy and comfortable as possible.

A cross-platform C and C++ unit testing framework for the 21st century

An emotion-polarity classifier specifically trained on developers' communication channels

Inferring models of systems from observations of their behavior

Mock/stub generator for C