Ecosyste.ms: Repos

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

Package Usage: hackage: copilot-c99

This package is a back-end from Copilot to C. 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.
33 versions
Latest release: 10 months ago
4 dependent packages
13,826 downloads total

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

Dependent Repos 5

YPares/fiddling-with-sensors
  • * test-copilot/test-copilot.cabal

Size: 22.5 KB - Last synced: 14 days ago - Pushed: about 8 years ago

wikiq/copilot
  • ==3.8.* copilot/copilot.cabal
  • * copilot/copilot.cabal

Size: 3.11 MB - Last synced: about 1 year ago - Pushed: about 2 years ago

Copilot-Language/copilot-c99 📦
(DEPRECATED) A C99-backend for Copilot
  • >=3.2.1 && <3.3 copilot-c99.cabal

Size: 336 KB - Last synced: about 1 year ago - Pushed: about 3 years ago

Copilot-Language/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
  • ==3.13.* copilot/copilot.cabal
  • * copilot/copilot.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.
  • ==3.13.* copilot/copilot.cabal
  • * copilot/copilot.cabal

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

niswegmann/copilot-cbmc
cbmc based tool for verifying copilot programs
  • >=0.2.4 copilot-cbmc.cabal

Size: 91.8 KB - Last synced: about 1 year ago - Pushed: over 12 years ago