Haskell Embedded copilot

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.

Less time debugging, more time building

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 scoutapm.com



• 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