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

  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 8 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
    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
  6. 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
  7. 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
  8. 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