package acgtk

All checked builds pass
  1. Overview
  2. Docs
Abstract Categorial Grammar development toolkit

Install 

dune-project
 Dependency

acg.loria.fr Readme Changelog CeCILL-1.0+ License Edit opam file Versions (3)

Authors

  1. S
    Sylvain Pogodalla

Maintainers

  1. S
    sylvain.pogodalla@inria.fr

Sources

acg-2.2.0-20251107.tar.gz
sha512=07f391d052090bb70c10ec511fdc53af764954cbe1c30093778984c5ed41a4327573fdac0890c6fd619ff9827725572eb7b8a7545bd8ccb7f5bddb84d2d7f7cc

Description

This toolkit provides a compiler and an interpreter for Abstract Categorial Grammars (ACGs). Grammars can be compiled and then used by the interpreter to parse (if the grammar is at most second-order) or to generate terms. See http://acg.loria.fr for more details and bibliographic references.

Added to opam-repository:

README

ACG development toolkit

Copyright 2008-2024 INRIA

More information on "https://acg.loria.fr/" License: CeCILL, see the LICENSE file or "http://www.cecill.info" Authors: see the AUTHORS file

ACGtk: an ACG development toolkit

ACGtk is a software package (2008-2024 INRIA©) for the development of abstract categorial grammars. This distribution provides two executables: acgc and acg.

It is distributed with the CeCILL license (see the LICENSE file or http://www.cecill.info). Contributors are listed in the AUTHORS.md file.

A list of related publications is available at the ACG web page.

acgc

acgc is a "compiler" of ACG source code, i.e., files containing definitions of signatures and lexicons. It basically checks whether they are correctly written (syntactically and w.r.t. types and constant typing) and outputs an .acgo object file.

Run

./acgc --help

to get help.

acg

acg is an interpreter of command meant to be useful when using ACGs. To get a list of command, run

./acg

then, on the prompt, type

ACGtk> help

Example files are given in the examples directory. Read the README.md file.

More detailed documentation is available for users and developers.

A web version of ACGtk is also available to try it in a web browser. To launch it locally, run:

$ acg --browser

Support

ACGtk development was supported:

  • By the Langues, Connaissances & Humanités Numériques CPER (contrat de plan État-Région), funded by the Ministère de l'Enseignement Supérieur et de la Recherche, the Région Lorraine, and the Fonds européen de développement régional pour la région Lorraine puis Grand Est (from April 2022 to July 2022).

    Ministère de l'Enseignement Supérieur et de la Recherche    Région    Be Europe en Grand Est

  • By Inria (ADT program, from August 2022 to July 2024).

Dependencies (13)

  1. readline
  2. yojson >= "1.6.0"
  3. sedlex
  4. cmdliner >= "1.1.0"
  5. mtime >= "2.0.0"
  6. logs
  7. fmt
  8. ANSITerminal >= "0.8"
  9. ocamlgraph
  10. menhir >= "20211230"
  11. dune-site >= "3.17.2"
  12. dune >= "3.5"
  13. ocaml >= "5.2.0"

Dev Dependencies (1)

  1. odoc with-doc

Optional Dependencies (1)

  1. cairo2 >= "0.6.4"

Used by

None

Conflicts

None

Build status

Results of building acgtk with each compiler on check.ci.ocaml.org, run of against opam-repository 7cdc698. All results for this package.

Each result links to its build log. To keep crawlers from overloading the site, build logs require a GitHub sign-in (see ocurrent/opam-health-check). On your first log, GitHub asks you to “Authorize opam-health-check”, the OCurrent app that runs these checks; it sees only your public profile, not your repositories. The sign-in lasts 30 days.

Version OCaml 4.11 OCaml 4.14 OCaml 5.2 OCaml 5.4 OCaml 5.5
2.2.0 (this version) n/a n/a good good good
2.1.0 n/a good good good good
1.5.3 good good good good good
  • good Package successfully built
  • partial One of the dependencies failed to build
  • bad Package failed to build
  • n/a Package is not available in this environment
  • internal Internal failure