{"id":172320,"name":"copilot","ecosystem":"hackage","description":"Copilot is a stream-based runtime verification framework implemented as an\nembedded domain-specific language (EDSL) in Haskell. Programs can be\ninterpreted for testing, or translated into C99 code to be incorporated in a\nproject, or as a standalone application. The C99 backend output is constant\nin memory and time, making it suitable for systems with hard realtime\nrequirements.\n\nThis package is the main entry-point for using Copilot.\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":61,"first_release_published_at":"2010-09-21T00:57:38.000Z","latest_release_published_at":"2026-01-08T18:26:06.000Z","latest_release_number":"4.6.1","last_synced_at":"2026-04-11T08:13:30.306Z","created_at":"2022-04-05T18:52:31.103Z","updated_at":"2026-04-11T08:13:30.307Z","registry_url":"https://hackage.haskell.org/package/copilot","install_command":"cabal install copilot","documentation_url":null,"metadata":{},"repo_metadata":{},"repo_metadata_updated_at":"2024-09-08T13:41:09.676Z","dependent_packages_count":5,"downloads":29897,"downloads_period":"total","dependent_repos_count":5,"rankings":{"downloads":5.289629838937553,"dependent_repos_count":25.504379768296133,"dependent_packages_count":4.566261655834982,"stargazers_count":null,"forks_count":null,"docker_downloads_count":null,"average":11.786757087689557},"purl":"pkg:hackage/copilot","advisories":[],"docker_usage_url":"https://docker.ecosyste.ms/usage/hackage/copilot","docker_dependents_count":null,"docker_downloads_count":null,"usage_url":"https://repos.ecosyste.ms/usage/hackage/copilot","dependent_repositories_url":"https://repos.ecosyste.ms/api/v1/usage/hackage/copilot/dependencies","status":null,"funding_links":[],"critical":false,"issue_metadata":null,"versions_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/copilot/versions","version_numbers_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/copilot/version_numbers","dependent_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/copilot/dependent_packages","related_packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/copilot/related_packages","codemeta_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/packages/copilot/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:45.907Z","updated_at":"2022-11-14T17:08:45.907Z","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:45.916Z","updated_at":"2022-11-14T17:08:45.916Z","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:45.927Z","updated_at":"2022-11-14T17:08:45.927Z","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:45.935Z","updated_at":"2022-11-14T17:08:45.935Z","packages_url":"https://packages.ecosyste.ms/api/v1/registries/hackage.haskell.org/maintainers/frankdedden/packages"}]}