4 search results for "author:"Jean Krivine""

Showing 1 - 4
  1. kappa-agents
    Documentation
    Backends for an interactive use of the Kappa tool suite. Used by the kappa-webapp, probably not relevant else. Previously used by deprecated kappa-server
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.1.3
    LGPL-3.0-only
    Used by 0 other packages
    13 Sep 2024
  2. kappa-binaries
    Documentation
    Command line interfaces of the Kappa tool suite. Use this package if you want the CLI kappa tools
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.1.3
    LGPL-3.0-only
    Used by 0 other packages
    13 Sep 2024
  3. kappa-library
    Documentation
    Public internals of the Kappa tool suite. Use this package to use kappa as a lib
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.1.3
    LGPL-3.0-only
    Used by 2 other packages
    13 Sep 2024
  4. kappa-server

    No documentation

    HTTP server delivering the Kappa tool suite capabilities
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.1.0
    LGPL-3.0-only
    Used by 0 other packages
    17 Sep 2020