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