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
No dependencies found