62 search results for "tag:"lib""

Showing 51 - 62
  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. relude
    Documentation
    Alternative standard library (prelude) for ReasonML
    ReasonML Melange functional programming prelude standard library
    Michael Martin Andy White John Haley
    3.0.0
    MIT
    Used by 0 other packages
    05 Aug 2025
  4. 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
  5. 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
  6. sqlite3

    No documentation

    SQLite3 bindings for OCaml
    clib:sqlite3
    Markus Mottl <markus.mottl@gmail.com> Christian Szegedy <csdontspam@metamatix.com>
    5.4.1
    MIT
    Used by 23 other packages
    18 Apr 2026
  7. 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 76 other packages
    03 Feb 2021
  8. 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
  9. 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
  10. uwt

    No documentation

    libuv bindings
    clib:libuv
    andreashauptmann@t-online.de
    0.3.3
    MIT
    Used by 1 other packages
    29 Aug 2018
  11. 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
  12. zstd
    Documentation
    Bindings to zstd compression library
    org:ygrek clib:zstd
    ygrek
    0.4
    BSD-3-Clause
    Used by 1 other packages
    08 Apr 2024
1 2