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

Showing 1 - 5
  1. 4.0.0
    LGPL-3.0-only
    Used by 0 other packages
    03 Apr 2018
  2. 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
    4.1.3
    LGPL-3.0-only
    Used by 0 other packages
    13 Sep 2024
  3. Command line interfaces of the Kappa tool suite. Use this package if you want the CLI kappa tools
    4.1.3
    LGPL-3.0-only
    Used by 0 other packages
    13 Sep 2024
  4. Public internals of the Kappa tool suite. Use this package to use kappa as a lib
    4.1.3
    LGPL-3.0-only
    Used by 2 other packages
    13 Sep 2024
  5. kappa-server

    No documentation

    HTTP server delivering the Kappa tool suite capabilities
    4.1.0
    LGPL-3.0-only
    Used by 0 other packages
    17 Sep 2020