@hackage / ogma-core

Ogma: Helper tool to interoperate between Copilot and other languages.

Latest1.13.0

Dependencies

library:ogma-core (25 dependencies)

@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.10.8.2 && <0.13
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.11.0.0 && <5
- License: BSD-3-Clause
@hackage / copilot-core An intermediate representation for Copilot.
- Version: >=4.6.1 && <4.7
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.4.2 && <1.6
- License: BSD-3-Clause
@hackage / ogma-language-lustre Ogma: Runtime Monitor translator: Lustre Language Frontend
- Version: >=1.13.0 && <1.14
- License: Apache-2.0
@hackage / ogma-language-csv Ogma: Runtime Monitor translator: CSV Frontend
- Version: >=1.13.0 && <1.14
- License: Apache-2.0
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.3.1.5 && <1.4
- License: BSD-3-Clause
@hackage / ogma-extra Ogma: Helper tool to interoperate between Copilot and other languages.
- Version: >=1.13.0 && <1.14
- License: Apache-2.0
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.2 && <2.4
- License: BSD-3-Clause
@hackage / megaparsec Monadic parser combinators
- Version: >=8.0.0 && <9.10
- License: BSD-2-Clause
@hackage / copilot-theorem k-induction for Copilot.
- Version: >=4.6.1 && <4.7
- License: BSD-3-Clause
@hackage / ogma-language-jsonspec Ogma: Runtime Monitor translator: JSON Frontend
- Version: >=1.13.0 && <1.14
- License: Apache-2.0
@hackage / text An efficient packed Unicode text type.
- Version: >=1.2.3.1 && <2.2
- License: BSD-2-Clause
@hackage / ogma-language-xmlspec Ogma: Runtime Monitor translator: XML Frontend
- Version: >=1.13.0 && <1.14
- License: Apache-2.0
@hackage / aeson Fast JSON parsing and encoding
- Version: >=2.0.0.0 && <2.3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5 && <0.8
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.6 && <1.7
- License: BSD-3-Clause
@hackage / ogma-spec Ogma: Runtime Monitor translator: JSON Frontend
- Version: >=1.13.0 && <1.14
- License: Apache-2.0
@hackage / ogma-language-copilot Ogma: Runtime Monitor translator: Copilot Language Endpoints
- Version: >=1.13.0 && <1.14
- License: Apache-2.0
@hackage / copilot-language A Haskell-embedded DSL for monitoring hard real-time distributed systems.
- Version: >=4.6.1 && <4.7
- License: BSD-3-Clause
@hackage / graphviz Bindings to Graphviz for graph visualisation.
- Version: >=2999.20 && <2999.21
- License: BSD-3-Clause
@hackage / ogma-language-smv Ogma: Runtime Monitor translator: SMV Language Frontend
- Version: >=1.13.0 && <1.14
- License: Apache-2.0
@hackage / ogma-language-c Ogma: Runtime Monitor translator: C Language Frontend
- Version: >=1.13.0 && <1.14
- License: Apache-2.0
@hackage / ogma-language-xlsx Ogma: Runtime Monitor translator: XLSX Frontend
- Version: >=1.13.0 && <1.14
- License: Apache-2.0
@hackage / hint A Haskell interpreter built on top of the GHC API
- Version: >=0.9.0 && <1.10
- License: BSD-3-Clause

test:unit-tests (8 dependencies)