@hackage copilot dependencies

27 results

library:copilot (9 dependencies)

@haskell/filepath

Library for manipulating FilePaths in a cross platform way.

BSD-3-Clause>=1.4 && <1.5

@haskell/directory

Platform-agnostic library for filesystem operations

BSD-3-Clause>=1.3 && <1.4

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@hackage/optparse-applicative

Utilities and combinators for parsing command line options

BSD-3-Clause>=0.14 && <0.15

@hackage/copilot-theorem

k-induction for Copilot.

BSD-3-Clause>=3.1 && <3.2

@hackage/copilot-libraries

Libraries for the Copilot language.

BSD-3-Clause>=3.1 && <3.2

@hackage/copilot-language

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

BSD-3-Clause>=3.1 && <3.2

@hackage/copilot-core

An intermediate representation for Copilot.

BSD-3-Clause>=3.1 && <3.2

@hackage/copilot-c99

A compiler for Copilot targeting C99.

BSD-3-Clause>=3.1 && <3.2

executable:addmult (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@hackage/copilot

A stream DSL for writing embedded C programs.

BSD-3-Clause>=3.1 && <3.2

executable:array (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@hackage/copilot

A stream DSL for writing embedded C programs.

BSD-3-Clause>=3.1 && <3.2

executable:cast (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@hackage/copilot

A stream DSL for writing embedded C programs.

BSD-3-Clause>=3.1 && <3.2

executable:clock (3 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@hackage/copilot-libraries

Libraries for the Copilot language.

BSD-3-Clause>=3.1 && <3.2

@hackage/copilot

A stream DSL for writing embedded C programs.

BSD-3-Clause>=3.1 && <3.2

executable:counter (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@hackage/copilot

A stream DSL for writing embedded C programs.

BSD-3-Clause>=3.1 && <3.2

executable:engine (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@hackage/copilot

A stream DSL for writing embedded C programs.

BSD-3-Clause>=3.1 && <3.2

executable:heater (3 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@hackage/copilot-c99

A compiler for Copilot targeting C99.

BSD-3-Clause>=3.1 && <3.2

@hackage/copilot

A stream DSL for writing embedded C programs.

BSD-3-Clause>=3.1 && <3.2

executable:voting (2 dependencies)

@haskell/base

Core data structures and operations

BSD-3-Clause>=4.9 && <5

@hackage/copilot

A stream DSL for writing embedded C programs.

BSD-3-Clause>=3.1 && <3.2