Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub / karthik-d / type-inference-tools-playground

Resource compilation, experiments, and tests on Symbolic Execution, Type Inference and Property-Guided Testing of python programs

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/karthik-d%2Ftype-inference-tools-playground

Stars: 0
Forks: 0
Open issues: 0

License: None
Language: Python
Size: 3.79 MB
Dependencies parsed at: Pending

Created at: almost 3 years ago
Updated at: over 1 year ago
Pushed at: over 1 year ago
Last synced at: over 1 year ago

Topics: property-based-testing, software-testing, software-testing-tools, static-typing, symbolic-execution, type-inference

    Loading...