Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 4.6% dependent packages on hackage.haskell.org
hackage.haskell.org : copilot
Copilot is a stream-based runtime verification framework implemented as an embedded domain-specific language (EDSL) in Haskell. Programs can be interpreted for testing, or translated into C99 code to be incorporated in a project, or as a standalone application. The C99 backend output is constant in memory and time, making it suitable for systems with hard realtime requirements. This package is the main entry-point for using Copilot. A tutorial, examples, and other information are available at https://copilot-language.github.io.
Registry
- Homepage
- JSON
purl: pkg:hackage/copilot
Keywords: bsd3, embedded, language, library
License: BSD-3-Clause
Latest release: 7 days ago
First release: over 13 years ago
Dependent packages: 5
Dependent repositories: 5
Downloads: 26,997 total
Last synced: 6 days ago