Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / dynaroars / dynaplex

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.

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dynaroars%2Fdynaplex

Stars: 6
Forks: 1
Open Issues: 3

License: mit
Language: C++
Repo Size: 13.8 MB
Dependencies: 0

Created: about 4 years ago
Updated: about 2 months ago
Last pushed: about 2 months ago
Last synced: about 2 months ago

Topics: complexity, dynamic-analysis, invariant-generation

Files
    Loading...
    Readme
    Loading...

    No dependencies found