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.6 0.0 Haskell

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

Clean code begins in your IDE with SonarLint

Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.

Promo www.sonarlint.org



• copilot-sbv

  5.8 0.0 Haskell

  SBV backend for Copilot.

• copilot-core

  4.0 0.0 Haskell

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

• copilot-libraries

  3.8 0.0 Haskell

  Copilot libraries that use the Copilot language

• copilot-cbmc

  3.2 0.0 Haskell

  cbmc based tool for verifying copilot programs

• copilot-c99

  2.6 0.0 Haskell

  A C99-backend for Copilot