Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

Package Usage: hackage: copilot-interpreter

Interpreter for Copilot. 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.
6 versions
Latest release: 10 months ago
1 dependent package
262 downloads total

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/copilot-interpreter

Dependent Repos 3

Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
  • * copilot-interpreter/copilot-interpreter.cabal

Size: 4.38 MB - Last synced: 7 days ago - Pushed: 7 days ago

ivanperez-keera/copilot Fork of Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
  • * copilot-interpreter/copilot-interpreter.cabal
  • ==3.13.* copilot-language/copilot-language.cabal
  • * copilot-language/copilot-language.cabal

Size: 4.45 MB - Last synced: 13 days ago - Pushed: 2 months ago

GaloisInc/copilot-1 Fork of Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
  • * copilot-interpreter/copilot-interpreter.cabal

Size: 4.63 MB - Last synced: 6 days ago - Pushed: 9 days ago