Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. package ogma-language-jsonspec

    Ogma: Runtime Monitor translator: JSON Frontend Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. This library contains a frontend to read specifications from JSON files.

  2. package ogma-language-lustre

    Ogma: Runtime Monitor translator: Lustre Language Frontend Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. This library contains a frontend to read Lustre Boolean expressions, extended with several operators related to temporal logic.

  3. package ogma-language-smv

    Ogma: Runtime Monitor translator: SMV Language Frontend Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. This library contains a frontend to read SMV Boolean expressions.

  4. package ogma-language-xlsx

    Ogma: Runtime Monitor translator: XLSX Frontend Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. This library contains a frontend to read specs from Excel files.

  5. package ogma-language-xmlspec

    Ogma: Runtime Monitor translator: XML Frontend Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. This library contains a frontend to read specifications from XML files.

  6. package ogma-spec

    Ogma: Runtime Monitor translator: JSON Frontend Ogma is a tool to facilitate the integration of safe runtime monitors into other systems. Ogma extends Copilot, a high-level runtime verification framework that generates hard real-time C99 code. This library contains an abstract representation of an Ogma specification.

  7. package om-doh

    om-doh om-doh

  8. package om-elm

    Haskell utilities for building embedded Elm programs. This package provides utilities for serving Elm programs directly from your Haskell binary. It uses TemplateHaskell to compile your Elm program at build time, and construct a WAI Middleware which intercepts requests appropriate to the Elm program, and passing other requests to a downstream WAI Application. It is useful for bundling the browser side of a web application with its backing web services implementation.

  9. package om-fail

    Monad transformer providing MonadFail. Monad transformer providing MonadFail.

  10. package om-http

    Http utilities. Random HTTP utilities.

Page 312 of many | Previous | Next