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.

Learn any GitHub repo in 59 seconds

Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

Promo getonboard.dev



• copilot-sbv

  5.9 0.0 Haskell

  SBV backend for Copilot.

• copilot-core

  4.3 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.5 0.0 Haskell

  cbmc based tool for verifying copilot programs

• copilot-c99

  3.0 0.0 Haskell

  A C99-backend for Copilot