@hackage copilot dependencies

14 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.

Pseudo-random number generation

Platform-agnostic library for filesystem operations

Core data structures and operations

A compiler for CoPilot targeting SBV.

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.

A compiler for Copilot targeting C99.