61 search results for "tag:"lib""

Showing 51 - 61
  1. qbf
    Documentation
    QBF solving in OCaml, including bindings to solvers
    clib:quantor clib:qdpll clib:picosat
    Simon Cruanes
    0.3
    BSD-3-clause
    Used by 0 other packages
    13 Jan 2021
  2. qfs

    No documentation

    Bindings to libqfs - client library to access QFS
    org:ahrefs clib:stdc clib:qfs
    Ahrefs Pte Ltd <github@ahrefs.com>
    0.12
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    27 Jan 2020
  3. smtlib-utils
    Documentation
    Parser for SMTLIB2
    SMTLIB smt2 parse logic
    Simon Cruanes
    0.5
    BSD-2-Clause
    Used by 0 other packages
    17 Apr 2024
  4. snappy
    Documentation
    Bindings to snappy - fast compression/decompression library
    org:ygrek clib:snappy
    ygrek
    0.1.2
    BSD-3-Clause
    Used by 0 other packages
    19 Feb 2020
  5. sqlite3
    Documentation
    SQLite3 bindings for OCaml
    clib:sqlite3 clib:pthread
    Markus Mottl <markus.mottl@gmail.com> Christian Szegedy <csdontspam@metamatix.com>
    5.3.1
    MIT
    Used by 23 other packages
    09 Mar 2025
  6. stdlib-shims
    Documentation
    Backport some of the new stdlib features to older compiler
    stdlib compatibility org:ocaml
    The stdlib-shims programmers
    0.3.0
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 80 other packages
    03 Feb 2021
  7. transept
    Documentation
    Generalized parser combinator library
    library parser-combinator
    Didier Plaindoux <d.plaindoux@free.fr>
    0.1.0
    MIT
    Used by 0 other packages
    05 Mar 2020
  8. trexio

    No documentation

    Binding for the TREXIO Input/Output library
    Quantum chemistry Library
    Anthony Scemama <scemama@irsamc.ups-tlse.fr> Evgeny Posenitskiy <posenitskiy@irsamc.ups-tlse.fr>
    2.2.0
    BSD-3-Clause
    Used by 0 other packages
    04 Aug 2022
  9. uwt

    No documentation

    libuv bindings
    clib:libuv
    andreashauptmann@t-online.de
    0.3.3
    MIT
    Used by 2 other packages
    29 Aug 2018
  10. zipc
    Documentation
    ZIP archive and deflate codec for OCaml
    codec zip deflate zlib org:erratique
    The zipc programmers
    0.2.0
    ISC
    Used by 0 other packages
    24 Jan 2024
  11. zstd
    Documentation
    Bindings to zstd compression library
    org:ygrek clib:zstd
    ygrek
    0.4
    BSD-3-Clause
    Used by 0 other packages
    08 Apr 2024
1 2