{"id":156856,"name":"ForSyDe","ecosystem":"hackage","description":"The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.\n\nTHIS PACKAGE IS DEPRECATED! The package has been split and continued as forsyde-shallow and forsyde-deep.","homepage":"http://www.ict.kth.se/forsyde/","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"","keywords_array":["bsd3","deprecated","hardware","language","library","Propose Tags"],"namespace":null,"versions_count":3,"first_release_published_at":"2008-09-30T16:48:56.000Z","latest_release_published_at":"2010-06-25T17:08:31.000Z","latest_release_number":"3.1.1","last_synced_at":"2026-03-19T10:17:09.099Z","created_at":"2022-04-05T17:15:15.461Z","updated_at":"2026-03-19T10:21:15.524Z","registry_url":"https://hackage.haskell.org/package/ForSyDe","install_command":"cabal install ForSyDe","documentation_url":null,"metadata":{},"repo_metadata":{},"repo_metadata_updated_at":"2026-03-19T10:21:15.497Z","dependent_packages_count":0,"downloads":3890,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":36.664514993251565,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":null,"forks_count":null,"average":34.67519511765742},"purl":"pkg:hackage/ForSyDe","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/ForSyDe","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/ForSyDe","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/ForSyDe/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/ForSyDe/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/ForSyDe/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/ForSyDe/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/ForSyDe/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/ForSyDe/codemeta","maintainers":[{"uuid":"ugeorge","login":"ugeorge","name":null,"email":null,"url":null,"packages_count":5,"html_url":"https://hackage.haskell.org/user/ugeorge","role":null,"created_at":"2022-11-17T23:20:09.231Z","updated_at":"2022-11-17T23:20:09.231Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/ugeorge/packages"},{"uuid":"ingo","login":"ingo","name":null,"email":null,"url":null,"packages_count":5,"html_url":"https://hackage.haskell.org/user/ingo","role":null,"created_at":"2022-11-17T23:20:09.246Z","updated_at":"2022-11-17T23:20:09.246Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/ingo/packages"},{"uuid":"AlfonsoAcosta","login":"AlfonsoAcosta","name":null,"email":null,"url":null,"packages_count":3,"html_url":"https://hackage.haskell.org/user/AlfonsoAcosta","role":null,"created_at":"2022-11-17T23:20:09.213Z","updated_at":"2022-11-17T23:20:09.213Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/AlfonsoAcosta/packages"},{"uuid":"HoseinAttarzadeh","login":"HoseinAttarzadeh","name":null,"email":null,"url":null,"packages_count":3,"html_url":"https://hackage.haskell.org/user/HoseinAttarzadeh","role":null,"created_at":"2022-11-17T23:20:09.221Z","updated_at":"2022-11-17T23:20:09.221Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/HoseinAttarzadeh/packages"}]}