62 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 11 other packages
    28 Sep 2016
  4. brotli
    Documentation
    Bindings to Google's Brotli compresion algorithm
    clib:stdc clib:brotli
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    2.0.3
    BSD-3-Clause
    Used by 1 other packages
    21 Dec 2017
  5. bsbnative

    No documentation

    bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
    ocaml bucklescript stdlib functional programming
    Hongbo Zhang <>
    1.9.4
    SEE LICENSE IN LICENSE
    Used by 0 other packages
    10 Oct 2017
  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. containers
    Documentation
    A modular, clean and powerful extension of the OCaml standard library
    stdlib containers iterators list heap queue
    c-cube
    3.14
    BSD-2-Clause
    Used by 72 other packages
    13 Sep 2024
  8. 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
  9. 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
  10. 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
  11. 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 6 other packages
    24 Jun 2024
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. jemalloc
    Documentation
    Bindings to jemalloc mallctl api
    org:ahrefs clib:jemalloc
    joris giovannangeli
    0.2
    MIT
    Used by 0 other packages
    16 Sep 2019
  21. 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.0.10
    LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
    Used by 12 other packages
    31 May 2023
  22. 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
  23. 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
  24. 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
  25. 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
  26. libra-tk

    No documentation

    Learning and inference with discrete probabilistic models
    clib:expat
    Daniel Lowd <lowd@cs.uoregon.edu> Amirmohammad (Pedram) Rooshenas <pedram@cs.uoregon.edu>
    1.1.2
    BSD-2-clause
    Used by 0 other packages
    17 Jun 2015
  27. 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
  28. 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
  29. 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
  30. 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
  31. 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
  32. 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
  33. 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
  34. 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
  35. 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 2 other packages
    05 Jul 2023
  36. 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
  37. 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.1.0
    LGPL-2.1-only
    Used by 53 other packages
    31 Aug 2023
  38. 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.0.0
    LGPL-2.1-only
    Used by 1 other packages
    08 Oct 2020
  39. ocamlregextkit
    Documentation
    A regular expression toolkit for OCaml
    automata regular expressions regular languages regex library DFA NFA RE
    Dominic Too
    1.0.1
    GPL-3.0-or-later
    Used by 0 other packages
    16 Apr 2024
  40. ocurl
    Documentation
    Bindings to libcurl
    org:ygrek clib:curl
    Lars Nilsson ygrek
    0.9.2
    MIT
    Used by 20 other packages
    08 Jan 2022
  41. 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
  42. plist
    Documentation
    Native OCaml Plist manipulation
    clib:objc clib:gnustep
    Edgar Aroutiounian <edgar.factorial@gmail.com>
    1.0.0
    BSD-3-Clause
    Used by 1 other packages
    20 Jan 2017
  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.0.0
    MIT
    Used by 8 other packages
    25 May 2022
  49. prelude
    Documentation
    OCaml library hiding stuff from the stdlib
    prelude stdlib safe exception layer hide
    Léo Andrès <contact@ndrs.fr>
    0.3
    AGPL-3.0-or-later
    Used by 1 other packages
    28 Jul 2024
  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