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

Showing 1 - 7
  1. cactus
    Documentation
    A B-Tree based index implementation
    data-structures
    Gabriel Belouze <gabriel.belouze@ens.psl.eu> Ioana Cristescu <ioana@tarides.com>
    1.0.0
    MIT
    Used by 0 other packages
    Added to opam-repository
  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 3 other packages
    Added to opam-repository
  3. index-bench
    Documentation
    Index benchmarking suite
    Clement Pascutto Thomas Gazagnaire Ioana Cristescu
    1.6.2
    MIT
    Used by 0 other packages
    Added to opam-repository
  4. 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
    Added to opam-repository
  5. 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
    Added to opam-repository
  6. 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
    Added to opam-repository
  7. 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
    Added to opam-repository