@hackage copilot dependencies

11 results

Core data structures and operations

Libraries for the Copilot language.

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

An intermediate representation for Copilot.

Copilot interface to a C model-checker.

Platform-agnostic library for filesystem operations

Core data structures and operations

Libraries for the Copilot language.

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

An intermediate representation for Copilot.

A compiler for Copilot targeting C99.