Data

Tools

Indexes

Applications

Experiments

Packages

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

hackage.haskell.org "syntcomp" keyword

syfco 1.1.0.0
Library and tool for reading, manipulating and transforming synthesis specifications.
1 version - Latest release: over 8 years ago - 1 dependent repositories - 933 downloads total - 26 stars on GitHub - 1 maintainer
Related Keywords
library 1 mit 1 program 1 Propose Tags 1