61 search results for "tag:"lib""

Showing 1 - 50
  1. archsat
    Documentation
    A first-order theorem prover with formal proof output
    sat smt solver theorem prover tptp logic smtlib dimacs
    Guillaume Bury
    1.1
    BSD-2-Clause
    Used by 0 other packages
    02 Sep 2019
  2. argsh
    Documentation
    Automatic generation of zsh, fish and bash completion file for Stdlib.Arg module
    shell arg stdlib completion
    Gurvan Debaussart
    0.1.0
    MIT
    Used by 0 other packages
    13 Dec 2023
  3. asetmap
    Documentation
    Alternative, compatible, OCaml standard library Sets and Maps
    org:erratique set map stdlib
    Daniel Bünzli
    0.8.1
    ISC
    Used by 8 other packages
    28 Sep 2016
  4. brotli

    No documentation

    Bindings to Google's Brotli compresion algorithm
    clib:stdc clib:brotli
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.3.0
    BSD-3-Clause
    Used by 1 other packages
    23 Aug 2017
  5. bytesrw
    Documentation
    Composable byte stream readers and writers for OCaml
    bytes streaming zstd zlib gzip deflate sha1 sha2 compression hashing utf xxhash blake3 org:erratique
    The bytesrw programmers
    0.1.0
    ISC
    Used by 1 other packages
    29 Nov 2024
  6. ceph
    Documentation
    Bindings to libcephfs
    org:ahrefs clib:stdc clib:cephfs
    Ahrefs Pte Ltd <github@ahrefs.com>
    20240106
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Aug 2024
  7. cmdlang-stdlib-runner
    Documentation
    A basic execution runner for cmdlang based on stdlib.arg
    cli cmdlang stdlib.arg
    Mathieu Barbin
    0.0.9
    MIT
    Used by 0 other packages
    04 Dec 2024
  8. containers
    Documentation
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    c-cube
    3.15
    BSD-2-Clause
    Used by 70 other packages
    19 Nov 2024
  9. core-and-more
    Documentation
    Includes core, and some more useful extensions
    stdlib containers
    Anders Miltner
    0.0.1
    MIT
    Used by 0 other packages
    27 Jul 2021
  10. corecount
    Documentation
    Get count of cores on machine
    clib:stdc
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.0.0
    BSD-3-Clause
    Used by 0 other packages
    15 Dec 2016
  11. crlibm
    Documentation
    Binding to CRlibm, a correctly rounded math lib
    libm math floating-point rounding science
    Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.5.1
    LGPL-3.0
    Used by 1 other packages
    11 Nov 2021
  12. curl

    No documentation

    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 2 other packages
    15 May 2025
  13. curl_lwt

    No documentation

    Bindings to libcurl (lwt variant)
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.10.0
    MIT
    Used by 1 other packages
    15 May 2025
  14. dolmen
    Documentation
    A parser library for automated deduction
    parser logic tptp smtlib dimacs
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 7 other packages
    24 Jun 2024
  15. dolmen_bin
    Documentation
    A linter for logic languages
    logic computation automated theorem prover logic smtlib tptp
    Guillaume Bury <guillaume.bury@gmail.com>
    0.10
    BSD-2-Clause
    Used by 0 other packages
    24 Jun 2024
  16. ezdl
    Documentation
    Easy dynamic linking of C functions from ocaml
    clib:stdc clib:camlidl
    Pascal Raymond
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  17. farmhash
    Documentation
    Bindings for Google's farmhash library
    org:ahrefs clib:farmhash
    Ahrefs <github@ahrefs.com>
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    21 Jan 2022
  18. freetds
    Documentation
    Binding to the FreeTDS library
    clib:ct clib:sybdb
    Christophe Troestler <Christophe.Troestler@umons.ac.be> Kenn Knowles <kenn.knowles@gmail.com>
    0.7
    LGPL-2.1-only
    Used by 1 other packages
    07 Feb 2019
  19. gammu
    Documentation
    Cell phone and SIM card access
    SMS phone clib:gammu
    Christophe Troestler Noémie Meunier Pierre Hauweele
    0.9.4
    LGPL-3.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    07 Feb 2018
  20. grib

    No documentation

    Bindings for the ECMWF GRIB API
    clib:png clib:openjpeg clib:m clib:jpeg clib:jasper clib:grib weather grib
    Hezekiah M. Carty
    0.11.0
    MIT
    Used by 0 other packages
    06 Sep 2015
  21. hdfs

    No documentation

    Bindings to libhdfs
    org:ygrek clib:hdfs
    ygrek
    0.4
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    12 Oct 2021
  22. javascriptcore

    No documentation

    OCaml bindings to JavaScriptCore
    clib:javascriptcoregtk clib:c
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.0.1
    BSD-3-Clause
    Used by 0 other packages
    27 Oct 2016
  23. jemalloc
    Documentation
    Bindings to jemalloc mallctl api
    org:ahrefs clib:jemalloc
    joris giovannangeli
    0.2
    MIT
    Used by 0 other packages
    16 Sep 2019
  24. lacaml
    Documentation
    Lacaml - OCaml-bindings to BLAS and LAPACK
    clib:lapack clib:blas
    Egbert Ammicht <eammicht@lucent.com> Patrick Cousot <Patrick.Cousot@ens.fr> Sam Ehrlichman <sehrlichman@janestreet.com> Florent Hoareau <h.florent@gmail.com> Markus Mottl <markus.mottl@gmail.com> et al.
    11.1.1
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 11 other packages
    11 Dec 2024
  25. leaves
    Documentation
    A collection of reusable components from Mint Tea
    tui terminal-ui apps components component library
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.2
    MIT
    Used by 0 other packages
    29 Dec 2023
  26. libbpf

    No documentation

    Libbpf bindings
    bindings bpf libbpf
    Lee Koon Wen
    0.1.0
    ISC; BSD-3-Clause
    Used by 2 other packages
    05 Jul 2024
  27. libbpf_maps

    No documentation

    Libbpf maps API
    bindings bpf libbpf
    Lee Koon Wen
    0.1.0
    ISC; BSD-3-Clause
    Used by 1 other packages
    05 Jul 2024
  28. libc
    Documentation
    Raw definitions and bindings to platforms system libraries
    libc platform bindings raw bindings
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    15 Feb 2024
  29. libssh

    No documentation

    Bindings to libssh
    clib:ssh
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.1
    BSD-3-Clause
    Used by 1 other packages
    27 Sep 2015
  30. lilac
    Documentation
    Get the value of any field in a YAML file as a string
    library lib lilac yaml
    Shea Newton <lilac@shnewto.dev>
    0.1.1
    MIT
    Used by 0 other packages
    03 Feb 2021
  31. lmdb
    Documentation
    Bindings for LMDB, a fast in-file database with ACID transactions
    clib:lmdb database
    Gabriel Radanne Christopher Zimmermann <christopher@gmerlin.de>
    1.0
    MIT
    Used by 0 other packages
    22 Apr 2020
  32. lutin
    Documentation
    Lutin: modeling stochastic reactive systems
    clib:stdc clib:camlidl
    Erwan Jahier Pascal Raymond Yvan Roux
    2.71.15
    CECILL-2.1
    Used by 1 other packages
    03 Nov 2022
  33. maxminddb
    Documentation
    Bindings to Maxmind.com's libmaxminddb library, like geoip2
    clib:maxminddb
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    0.6
    BSD-3-Clause
    Used by 1 other packages
    14 Sep 2015
  34. mesh-triangle
    Documentation
    Binding to the triangle mesh generator
    clib:triangle
    Christophe Troestler
    0.9.5
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Mar 2019
  35. mindstorm
    Documentation
    Drive Lego Mindstorms bricks from OCaml
    lego robotics mindstorms clib:usb clib:bluetooth
    Christophe Troestler Julie De Pril Marc Ducobu Dany Maslowski
    0.8.1
    LGPL-2.1
    Used by 1 other packages
    12 Nov 2021
  36. mindstorm-lwt
    Documentation
    Drive Lego Mindstorms bricks from OCaml (LWT version)
    lego robotics mindstorms clib:usb clib:bluetooth
    Christophe Troestler Julie De Pril Marc Ducobu Dany Maslowski
    0.8.1
    LGPL-2.1
    Used by 0 other packages
    12 Nov 2021
  37. nlopt
    Documentation
    OCaml bindings to the NLOpt optimization library
    clib:nlopt
    Michał Kurcewicz <michal.kurcewicz@gmail.com> Christophe Troestler <Christophe.Troestler@umons.ac.be>
    0.7.0
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    05 Jul 2023
  38. ocamlfind-lint
    Documentation
    Simple tool performing checks on installed findlib META files
    findlib ocamlfind check META
    Maxence Guesdon
    0.1.0
    New BSD License
    Used by 0 other packages
    05 Mar 2015
  39. ocamlgraph

    No 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 45 other packages
    15 Apr 2025
  40. ocamlgraph_gtk

    No 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
  41. ocamlregextkit
    Documentation
    A regular expression toolkit for OCaml
    automata regular expressions regular languages regex library DFA NFA RE
    Dominic Too
    1.0.2
    GPL-3.0-or-later
    Used by 0 other packages
    30 Sep 2024
  42. parsite
    Documentation
    A micro library for simple parsing combinators
    string ocaml functional-programming parsing-combinators parsing-library
    faber-1
    0.1.2
    MIT
    Used by 0 other packages
    31 Jul 2024
  43. polka
    Documentation
    Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)
    clib:stdc clib:camlidl
    Bertrand Jeannnet
    2.71.15
    LGPL-2.1-or-later
    Used by 1 other packages
    03 Nov 2022
  44. posix-clock
    Documentation
    POSIX clock
    clib:rt
    Markus W. Weissmann <markus.weissmann@in.tum.de>
    0.4.0-0
    MIT
    Used by 0 other packages
    22 Apr 2016
  45. posix-math
    Documentation
    POSIX math
    clib:lm
    Markus W. Weissmann <markus.weissmann@in.tum.de>
    0.3.1-0
    MIT
    Used by 1 other packages
    02 May 2016
  46. posix-mqueue
    Documentation
    POSIX message queues
    clib:rt
    Markus W. Weissmann <markus.weissmann@in.tum.de>
    0.8.0-0
    MIT
    Used by 0 other packages
    22 Apr 2016
  47. posix-semaphore
    Documentation
    POSIX semaphore
    clib:rt
    Markus W. Weissmann <markus.weissmann@in.tum.de>
    0.5.0-0
    MIT
    Used by 0 other packages
    09 Aug 2017
  48. preface
    Documentation
    An opinionated library for function programming (à La Haskell)
    library standard monad
    Didier Plaindoux <d.plaindoux@free.fr> Pierre Ruyter <grimfw@gmail.com> Xavier Van de Woestyne <xaviervdw@gmail.com>
    1.1.0
    MIT
    Used by 0 other packages
    04 Mar 2025
  49. prelude
    Documentation
    OCaml library hiding stuff from the stdlib
    prelude stdlib safe exception layer hide
    Léo Andrès <contact@ndrs.fr>
    0.5
    AGPL-3.0-or-later
    Used by 2 other packages
    04 Feb 2025
  50. proj4

    No documentation

    Bindings to the PROJ.4 projection library
    clib:proj clib:m
    Hezekiah M. Carty
    0.9.2
    MIT
    Used by 0 other packages
    14 Nov 2017
1 2