10

8

6

4

2


9.4
0.0

5.4
0.0

4.9
0.0

4.7
0.0

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.

Add another 'copilot' Package