{"id":172387,"name":"copilot-theorem","ecosystem":"hackage","description":"Some tools to prove properties on Copilot programs with k-induction model\nchecking.\n\nCopilot is a stream (i.e., infinite lists) domain-specific language (DSL) in\nHaskell that compiles into embedded C.  Copilot contains an interpreter,\nmultiple back-end compilers, and other verification tools.\n\nA tutorial, examples, and other information are available at\nhttps://copilot-language.github.io.","homepage":"https://copilot-language.github.io","licenses":"BSD-3-Clause","normalized_licenses":["BSD-3-Clause"],"repository_url":"","keywords_array":["bsd3","embedded","language","library","Propose Tags"],"namespace":null,"versions_count":38,"first_release_published_at":"2015-10-23T21:40:30.000Z","latest_release_published_at":"2026-05-08T22:33:55.000Z","latest_release_number":"4.7.1","last_synced_at":"2026-06-13T12:45:32.464Z","created_at":"2022-04-05T18:52:53.997Z","updated_at":"2026-06-13T12:45:32.465Z","registry_url":"https://hackage.haskell.org/package/copilot-theorem","install_command":"cabal install copilot-theorem","documentation_url":null,"metadata":{},"repo_metadata":{},"repo_metadata_updated_at":"2024-09-08T13:41:11.271Z","dependent_packages_count":3,"downloads":6928,"downloads_period":"total","dependent_repos_count":4,"rankings":{"downloads":31.317556035954038,"dependent_repos_count":26.90294686539993,"dependent_packages_count":7.190806690180908,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":21.80376986384496},"purl":"pkg:hackage/copilot-theorem","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/copilot-theorem","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/copilot-theorem","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/copilot-theorem/dependencies","status":null,"funding_links":[],"critical":null,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/copilot-theorem/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/copilot-theorem/version_numbers","latest_version_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/copilot-theorem/latest_version","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/copilot-theorem/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/copilot-theorem/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/copilot-theorem/codemeta","maintainers":[{"uuid":"IvanPerez","login":"IvanPerez","name":null,"email":null,"url":null,"packages_count":66,"html_url":"https://hackage.haskell.org/user/IvanPerez","role":null,"created_at":"2022-11-14T17:08:54.450Z","updated_at":"2022-11-14T17:08:54.450Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/IvanPerez/packages"},{"uuid":"LeePike","login":"LeePike","name":null,"email":null,"url":null,"packages_count":21,"html_url":"https://hackage.haskell.org/user/LeePike","role":null,"created_at":"2022-11-14T17:08:54.476Z","updated_at":"2022-11-14T17:08:54.476Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/LeePike/packages"},{"uuid":"agoodloe","login":"agoodloe","name":null,"email":null,"url":null,"packages_count":8,"html_url":"https://hackage.haskell.org/user/agoodloe","role":null,"created_at":"2022-11-14T17:08:54.494Z","updated_at":"2022-11-14T17:08:54.494Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/agoodloe/packages"},{"uuid":"frankdedden","login":"frankdedden","name":null,"email":null,"url":null,"packages_count":11,"html_url":"https://hackage.haskell.org/user/frankdedden","role":null,"created_at":"2022-11-14T17:08:54.517Z","updated_at":"2022-11-14T17:08:54.517Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/frankdedden/packages"}]}