10

8

6

4

2


9.4
0.0

5.9
0.0

4.2
0.0

3.4
0.0

7 copilot packages and projects

  • copilot

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

    6.7 0.0 Haskell
    A Haskell-embedded DSL for monitoring hard real-time distributed systems.
  • Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and ´╗┐external services monitoring, Scout is a developer's best friend when it comes to application development.
    Promo
  • copilot-sbv

    5.9 0.0 Haskell
    SBV backend for Copilot.
  • copilot-core

    4.2 0.0 Haskell
    Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
  • copilot-libraries

    4.0 0.0 Haskell
    Copilot libraries that use the Copilot language
  • copilot-cbmc

    3.4 0.0 Haskell
    cbmc based tool for verifying copilot programs
  • copilot-c99

    2.8 0.0 Haskell
    A C99-backend for Copilot

Add another 'copilot' Package