7 search results for "tag:"persistent""

Showing 1 - 7
  1. ktdeque

    No documentation

    Kaplan-Tarjan persistent real-time deque, with O(1) catenation
    data-structures deque persistent rocq kaplan-tarjan
    Yann Régis-Gianas
    0.2.0
    MIT
    Used by 0 other packages
    18 Jun 2026
  2. ocamlgraph
    Documentation
    A generic graph library for OCaml
    graph library algorithms directed graph vertice edge persistent imperative
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.2.0
    LGPL-2.1-only
    Used by 40 other packages
    15 Apr 2025
  3. ocamlgraph_gtk
    Documentation
    Displaying graphs using OCamlGraph and GTK
    graph library algorithms directed graph vertice edge persistent imperative
    Sylvain Conchon Jean-Christophe Filliâtre Julien Signoles
    2.2.0
    LGPL-2.1-only
    Used by 1 other packages
    15 Apr 2025
  4. swhid
    Documentation
    OCaml library to work with Software Heritage identifiers
    swh software heritage archive swhid persistent identifier
    redianthus <leo@ocaml.pro> Dario Pinto <dario.pinto@ocamlpro.com>
    0.2
    ISC
    Used by 0 other packages
    21 Jun 2022
  5. swhid_compute
    Documentation
    OCaml library to work with Software Heritage identifiers, compute library used in swhid
    swh software heritage archive shwid persistent identifier compute
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 0 other packages
    05 Apr 2022
  6. swhid_types
    Documentation
    OCaml library to work with Software Heritage identifiers, types library used in swhid
    swh software heritage archive shwid persistent identifier types
    redianthus <leo@ocaml.pro>
    0.1
    ISC
    Used by 1 other packages
    03 Apr 2022
  7. union-find-lattice
    Documentation
    Persistent union-find data-structures with lattice operations (order, meet, join)
    union-find persistent lattice join meet
    Dorian Lesbre <dorian.lesbre@cea.fr> Matthieu Lemerre <matthieu.lemerre@cea.fr>
    0.1.0
    lgpl-2.1-or-later
    Used by 0 other packages
    08 Jul 2026