Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : copilot-theorem
Some tools to prove properties on Copilot programs with k-induction model checking. Copilot is a stream (i.e., infinite lists) domain-specific language (DSL) in Haskell that compiles into embedded C. Copilot contains an interpreter, multiple back-end compilers, and other verification tools. A tutorial, examples, and other information are available at https://copilot-language.github.io.
Registry
- Homepage
- JSON
purl: pkg:hackage/copilot-theorem
Keywords: bsd3, embedded, language, library
License: BSD-3-Clause
Latest release: 8 days ago
First release: over 8 years ago
Dependent packages: 3
Dependent repositories: 4
Downloads: 4,670 total
Last synced: 8 days ago