8 search results for "author:"Ioana Cristescu""

Showing 1 - 8
  1. cactus
    Documentation
    A B-Tree based index implementation
    Gabriel Belouze <gabriel.belouze@ens.psl.eu> Ioana Cristescu <ioana@tarides.com>
    1.0.0
    MIT
    Used by 0 other packages
    30 Jul 2021
  2. index
    Documentation
    A platform-agnostic multi-level index for OCaml
    Craig Ferguson <craig@tarides.com> Thomas Gazagnaire <thomas@tarides.com> Ioana Cristescu <ioana@tarides.com> Clément Pascutto <clement@tarides.com>
    1.6.2
    MIT
    Used by 12 other packages
    06 Jun 2023
  3. index-bench
    Documentation
    Index benchmarking suite
    Clement Pascutto Thomas Gazagnaire Ioana Cristescu
    1.6.2
    MIT
    Used by 0 other packages
    06 Jun 2023
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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