Haskell Embedded copilot

7 copilot packages and projects

• copilot

  9.4 0.0 Haskell

  A (Haskell DSL) stream language for generating hard real-time C code.

• copilot-language

  6.6 0.0 Haskell

  A Haskell-embedded DSL for monitoring hard real-time distributed systems.

InfluxDB - Purpose built for real-time analytics at any scale.

InfluxDB Platform is powered by columnar analytics, optimized for cost-efficient storage, and built with open data standards.

Promo www.influxdata.com



• copilot-sbv

  5.8 0.0 Haskell

  SBV backend for Copilot.

• copilot-core

  4.1 0.0 Haskell

  Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.

• copilot-libraries

  3.9 0.0 Haskell

  Copilot libraries that use the Copilot language

• copilot-cbmc

  3.3 0.0 Haskell

  cbmc based tool for verifying copilot programs

• copilot-c99

  2.8 0.0 Haskell

  A C99-backend for Copilot