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-c99

  2.8 0.0 Haskell

  A C99-backend for Copilot

WorkOS - The modern identity platform for B2B SaaS

The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

Promo workos.com



• copilot-cbmc

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

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

• copilot-libraries

  3.9 0.0 Haskell

  Copilot libraries that use the Copilot language

• copilot-sbv

  5.8 0.0 Haskell

  SBV backend for Copilot.