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

Showing 1 - 5
  1. KaSim
    Documentation
    Software suite for the Kappa language
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.0.0
    LGPL-3.0-only
    Used by 0 other packages
    03 Apr 2018
  2. kappa-agents
    Documentation
    Backends for an interactive use of the Kappa tool suite
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.1.0
    LGPL-3.0-only
    Used by 1 other packages
    17 Sep 2020
  3. kappa-binaries
    Documentation
    Command line interfaces of the Kappa tool suite
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.1.0
    LGPL-3.0-only
    Used by 1 other packages
    17 Sep 2020
  4. kappa-library
    Documentation
    Public internals of the Kappa tool suite
    Jean Krivine Jérôme Feret Pierre Boutillier Ioana Cristescu Mutaamba Maasha et al.
    4.1.0
    LGPL-3.0-only
    Used by 2 other packages
    17 Sep 2020
  5. kappa-server
    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