Ecosyste.ms: Repos

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

GitHub / Jiahui17 / dhls-formal

Dataflow Circuits Verification and Optimization Framework

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Jiahui17%2Fdhls-formal

Stars: 1
Forks: 1
Open Issues: 0

License: None
Language: Python
Repo Size: 44.8 MB
Dependencies: 2

Created: 10 months ago
Updated: 9 months ago
Last pushed: 9 months ago
Last synced: 9 months ago

Topics: dataflow-circuits, formal-verification, high-level-synthesis

Files
    Loading...
    Readme
    Loading...
    Dependencies
    dave/setup.py pypi