10

8

6

4

2


9.4
0.0

5.2
0.0

4.3
0.0

3.5
0.0

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.3 0.0 Haskell
    An intermediate representation for Copilot.
  • copilot-libraries

    4.1 0.0 Haskell
    Libraries for the Copilot language.
  • copilot-cbmc

    3.5 0.0 Haskell
    Copilot interface to a C model-checker.
  • copilot-c99

    2.9 0.0 Haskell
    A compiler for Copilot targeting C99.

Add another 'copilot' Package