GitHub repository: kinneerc/ExpOse
Primary language: Java
Description: A tool for inferring worst-case time complexity by an automated empirical study