funcons-intgen: Generate Funcons interpreters from CBS description files

[ compilers, mit, program ] [ Propose Tags ] [ Report a vulnerability ]

Transpiler generating Haskell micro-interpreters from CBS funcon definitions, see Executable Component-Based Semantics

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.2.0.1, 0.2.0.3
Dependencies base (>=4.8 && <5), containers (>=0.5 && <0.7), directory (>=1.3.8.5 && <2), filepath (>=1.3.0 && <2), funcons-tools (>=0.2.0.16 && <0.3), funcons-values (>=0.1.0.9 && <0.2), gll (>=0.4.1 && <5), mtl (>=2.2.1 && <3), pretty (>=1.1.2 && <1.2), regex-applicative (>=0.3 && <0.4), split (>=0.2.5 && <0.3), text (>=1.2 && <3), uu-cco (==0.1.0.6) [details]
License MIT
Copyright Copyright (C) 2015 L. Thomas van Binsbergen and Neil Schulthorpe
Author L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>, Neil Sculthorpe <n.a.sculthorpe@swansea.ac.uk>
Maintainer L. Thomas van Binsbergen <ltvanbinsbergen@acm.org>
Uploaded by ltvanbinsbergen at 2026-04-08T08:13:36Z
Category Compilers
Home page http://plancomps.org
Executables cbsc
Downloads 673 total (4 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2026-04-08 [all 2 reports]