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.7 0.0 Haskell

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

Run Linux Software Faster and Safer than Linux with Unikernels

Promo github.com/nanovms



• copilot-sbv

  5.7 0.0 Haskell

  SBV backend for Copilot.

• copilot-core

  3.6 0.0 Haskell

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

• copilot-libraries

  3.3 0.0 Haskell

  Copilot libraries that use the Copilot language

• copilot-cbmc

  2.7 0.0 Haskell

  cbmc based tool for verifying copilot programs

• copilot-c99

  2.1 0.0 Haskell

  A C99-backend for Copilot