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

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

• copilot-sbv

  5.2 0.0 Haskell

  A compiler for CoPilot targeting SBV.

• copilot-core

  4.4 0.0 Haskell

  An intermediate representation for Copilot.

• copilot-libraries

  4.2 0.0 Haskell

  Libraries for the Copilot language.

• copilot-cbmc

  3.6 0.0 Haskell

  Copilot interface to a C model-checker.

• copilot-c99

  3.0 0.0 Haskell

  A compiler for Copilot targeting C99.