{"id":183086,"name":"free-theorems-seq","ecosystem":"hackage","description":"Given a term, this program calculates a set of \"optimal\" free theorems\nthat hold in a lambda calculus with selective strictness. It omits\ntotality (in general, bottom-reflection) and other restrictions when\npossible. The underlying theory is described in the paper \"Taming\nSelective Strictness\" (ATPS'09) by Daniel Seidel and Janis Voigtländer.\nA webinterface for the program is running online at\nhttp://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi\nor available offline via the package\nhttp://hackage.haskell.org/package/free-theorems-seq-webui.\n\nRelated to this package you may be interested in the online free theorem generator\nat http://www-ps.iai.uni-bonn.de/ft that is also available offline via\nhttp://hackage.haskell.org/package/free-theorems-webui.\nAdditionally interesting may be the counterexample generator for free theorems that\nexemplifies the need of strictness conditions imposed by general recursion.\nIt can be downloaded at\nhttp://hackage.haskell.org/package/free-theorems-counterexamples\nor used via a webinterface at\nhttp://www-ps.iai.uni-bonn.de/cgi-bin/exfind.cgi.","homepage":null,"licenses":"LicenseRef-PublicDomain","normalized_licenses":["Other"],"repository_url":null,"keywords_array":["language","library","public-domain","Propose Tags"],"namespace":null,"versions_count":1,"first_release_published_at":"2011-03-11T17:07:18.000Z","latest_release_published_at":"2011-03-11T17:07:18.000Z","latest_release_number":"1.0","last_synced_at":"2026-09-15T09:07:28.425Z","created_at":"2022-04-05T19:59:31.219Z","updated_at":"2026-09-15T09:07:28.425Z","registry_url":"https://hackage.haskell.org/package/free-theorems-seq","install_command":"cabal install free-theorems-seq","documentation_url":null,"metadata":{},"repo_metadata":null,"repo_metadata_updated_at":null,"dependent_packages_count":0,"downloads":1175,"downloads_period":"total","dependent_repos_count":0,"rankings":{"downloads":75.96385188662637,"dependent_repos_count":55.143477495452146,"dependent_packages_count":12.217592864268529,"stargazers_count":null,"forks_count":null,"average":47.77497408211568},"purl":"pkg:hackage/free-theorems-seq","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/free-theorems-seq","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/free-theorems-seq","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/free-theorems-seq/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/free-theorems-seq/codemeta","maintainers":[{"uuid":"JanisVoigtlaender","login":"JanisVoigtlaender","name":null,"email":null,"url":null,"packages_count":16,"html_url":"https://hackage.haskell.org/user/JanisVoigtlaender","role":null,"created_at":"2022-11-14T17:46:18.961Z","updated_at":"2022-11-14T17:46:18.961Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/JanisVoigtlaender/packages"},{"uuid":"DanielSeidel","login":"DanielSeidel","name":null,"email":null,"url":null,"packages_count":13,"html_url":"https://hackage.haskell.org/user/DanielSeidel","role":null,"created_at":"2022-11-14T17:46:18.954Z","updated_at":"2022-11-14T17:46:18.954Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/DanielSeidel/packages"}]}