10

8

6

4

2


9.4
0.0
copilot

2.8
0.0
copilot-c99

3.3
0.0
copilot-cbmc

4.1
0.0
copilot-core

6.5
0.0
copilot-language

3.8
0.0
copilot-libraries

7 copilot packages and projects

  • copilot

    9.4 0.0 Haskell
    A (Haskell DSL) stream language for generating hard real-time C code.

  • copilot-c99

    2.8 0.0 Haskell
    A C99-backend for Copilot

    • SaaSHub helps you find the best software and product alternatives
    Promo www.saashub.com
    SaaSHub Logo

  • copilot-cbmc

    3.3 0.0 Haskell
    cbmc based tool for verifying copilot programs

  • copilot-core

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

  • copilot-language

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

  • copilot-libraries

    3.8 0.0 Haskell
    Copilot libraries that use the Copilot language

  • copilot-sbv

    5.8 0.0 Haskell
    SBV backend for Copilot.

Popular Comparisons

Add another 'copilot' Package