Ecosyste.ms: Repos

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

Package Usage: hackage: copilot-prettyprinter

A prettyprinter of Copilot specifications. 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.
5 versions
Latest release: 10 months ago
3 dependent packages
211 downloads total

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

Dependent Repos 3

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

Size: 4.38 MB - Last synced: 7 days ago - Pushed: 8 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
  • ==3.13.* copilot-theorem/copilot-theorem.cabal

Size: 4.45 MB - Last synced: 14 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
  • ==3.12.* copilot-theorem/copilot-theorem.cabal

Size: 4.63 MB - Last synced: 7 days ago - Pushed: 10 days ago