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