Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

syfco

Library and tool for reading, manipulating and transforming synthesis specifications.

Ecosystem
hackage.haskell.org
Latest Release
1.1.0.0
over 8 years ago
Versions
1
Downloads
933 total
Dependent Repos
1
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/syfco
    spec
    License MIT
    First Release over 8 years ago
    Last Synced about 17 hours ago
    Keywords
    library mit program syntcomp Propose Tags
    Repository
    Stars 26 on GitHub
    Forks 14 on GitHub
    Commits 166
    Committers 16
    Avg per Author 10.375
    DDS 0.5
    commits.ecosyste.ms
    repos.ecosyste.ms