GitHub repository: unsat/dynaplex
Primary language: C++
Description: A tool for inferring program complexity, e.g., O(nlogn), O(n^2),  O(2^n).  Dynaplex uses dynamic analysis to infer recurrence relations and then solve them for closed form solutions representing program complexity bounds.