uhc-light: Part of UHC packaged as cabal/hackage installable library

[ bsd3, development, library, program ] [ Propose Tags ]

A light variant of UHC including only an API and executables for compiling to Core representation (uhcl) and running CoreRun (uhcr). This version is just to test the infrastructure. Later versions will provide a fleshing out of the API and completion of the now rudimentary platform independent (Haskell) interpreted running etc..


[Last Documentation]

  • UHC
    • Light
      • Compiler
        • UHC.Light.Compiler.API
        • Base
          • UHC.Light.Compiler.Base.API
        • Core
          • UHC.Light.Compiler.Core.API
        • CoreRun
          • UHC.Light.Compiler.CoreRun.API
            • UHC.Light.Compiler.CoreRun.API.Internal
        • EH
          • UHC.Light.Compiler.EH.Main
        • EHC
          • UHC.Light.Compiler.EHC.Main
            • UHC.Light.Compiler.EHC.Main.Compile
            • UHC.Light.Compiler.EHC.Main.Utils


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS],,,,,,,,,,,,,,,,,,,,
Change log changelog.md
Dependencies array, base (>=4.7 && <5), binary, bytestring, chr-data (>=, containers, directory, fgl, filepath, hashable (>=1.2.4 && <1.3), mtl, network, old-locale, primitive, process, syb, transformers, uhc-light, uhc-util (>= && <0.1.8), utf8-string, uulib (>=0.9.19), vector [details]
License BSD-3-Clause
Copyright Utrecht University, Department of Information and Computing Sciences, Software Technology group
Author Atze Dijkstra
Maintainer uhc-developers@lists.science.uu.nl
Category Development
Home page https://github.com/UU-ComputerScience/uhc
Bug tracker https://github.com/UU-ComputerScience/uhc/issues
Uploaded by AtzeDijkstra at 2018-01-01T22:30:42Z
Reverse Dependencies 2 direct, 8 indirect [details]
Executables uhcr, uhcl
Downloads 15986 total (34 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
Last success reported on 2018-01-02 [all 2 reports]