Haskell Embedded copilot

7 copilot packages and projects

• copilot

  9.4 0.0 Haskell

  A stream DSL for writing embedded C programs.

• copilot-language

  6.8 0.0 Haskell

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

• copilot-libraries

  5.4 0.0 Haskell

  Libraries for the Copilot language.

• copilot-sbv

  5.4 0.0 Haskell

  A compiler for CoPilot targeting SBV.

• copilot-core

  4.9 0.0 Haskell

  An intermediate representation for Copilot.

• copilot-cbmc

  4.7 0.0 Haskell

  Copilot interface to a C model-checker.

• copilot-c99

  3.7 0.0 Haskell

  A compiler for Copilot targeting C99.