57 search results for "tag:"lib""
Showing 1 - 50
-
A first-order theorem prover with formal proof output1.1BSD-2-ClauseUsed by 0 other packages02 Sep 2019
-
Automatic generation of zsh, fish and bash completion file for Stdlib.Arg module0.1.0MITUsed by 0 other packages13 Dec 2023
-
Alternative, compatible, OCaml standard library Sets and Maps0.8.1ISCUsed by 11 other packages28 Sep 2016
-
Bindings to Google's Brotli compresion algorithm2.0.3BSD-3-ClauseUsed by 1 other packages21 Dec 2017
-
bsbnative
No documentation
bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt1.9.4SEE LICENSE IN LICENSEUsed by 0 other packages10 Oct 2017 -
A modular, clean and powerful extension of the OCaml standard library3.13.1BSD-2-ClauseUsed by 70 other packages21 Dec 2023
-
0.0.1MITUsed by 0 other packages27 Jul 2021
-
1.0.0BSD-3-ClauseUsed by 0 other packages15 Dec 2016
-
Binding to CRlibm, a correctly rounded math lib0.5.1LGPL-3.0Used by 1 other packages11 Nov 2021
-
A parser library for automated deduction0.9BSD-2-ClauseUsed by 7 other packages06 Jul 2023
-
A linter for logic languages0.9BSD-2-ClauseUsed by 0 other packages06 Jul 2023
-
2.71.15CECILL-2.1Used by 1 other packages03 Nov 2022
-
0.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages21 Jan 2022
-
Binding to the FreeTDS library0.7LGPL-2.1-onlyUsed by 1 other packages07 Feb 2019
-
Cell phone and SIM card access0.9.4LGPL-3.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages07 Feb 2018
-
grib
No documentation
Bindings for the ECMWF GRIB API0.11.0MITUsed by 0 other packages06 Sep 2015 -
hdfs
No documentation
0.4LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages12 Oct 2021 -
javascriptcore
No documentation
OCaml bindings to JavaScriptCore0.0.1BSD-3-ClauseUsed by 0 other packages27 Oct 2016 -
0.2MITUsed by 0 other packages16 Sep 2019
-
Lacaml - OCaml-bindings to BLAS and LAPACK11.0.10LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 12 other packages31 May 2023
-
A collection of reusable components from Mint Tea0.0.2MITUsed by 0 other packages29 Dec 2023
-
libc
No documentation
Raw definitions and bindings to platforms system libraries0.0.1MITUsed by 1 other packages15 Feb 2024 -
libra-tk
No documentation
Learning and inference with discrete probabilistic models1.1.2BSD-2-clauseUsed by 0 other packages17 Jun 2015 -
libssh
No documentation
0.1BSD-3-ClauseUsed by 1 other packages27 Sep 2015 -
Get the value of any field in a YAML file as a string0.1.1MITUsed by 0 other packages03 Feb 2021
-
Bindings for LMDB, a fast in-file database with ACID transactions1.0MITUsed by 0 other packages22 Apr 2020
-
Lutin: modeling stochastic reactive systems2.71.15CECILL-2.1Used by 1 other packages03 Nov 2022
-
Bindings to Maxmind.com's libmaxminddb library, like geoip20.6BSD-3-ClauseUsed by 1 other packages14 Sep 2015
-
0.9.5LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages19 Mar 2019
-
Drive Lego Mindstorms bricks from OCaml0.8.1LGPL-2.1Used by 1 other packages12 Nov 2021
-
Drive Lego Mindstorms bricks from OCaml (LWT version)0.8.1LGPL-2.1Used by 0 other packages12 Nov 2021
-
OCaml bindings to the NLOpt optimization library0.7.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 2 other packages05 Jul 2023
-
Simple tool performing checks on installed findlib META files0.1.0New BSD LicenseUsed by 0 other packages05 Mar 2015
-
A generic graph library for OCaml2.1.0LGPL-2.1-onlyUsed by 52 other packages31 Aug 2023
-
ocamlgraph_gtk
No documentation
Displaying graphs using OCamlGraph and GTK2.0.0LGPL-2.1-onlyUsed by 1 other packages08 Oct 2020 -
A regular expression toolkit for OCaml1.0.0GPL-3.0-or-laterUsed by 0 other packages23 Aug 2023
-
0.9.2MITUsed by 20 other packages08 Jan 2022
-
Native OCaml Plist manipulation1.0.0BSD-3-ClauseUsed by 1 other packages20 Jan 2017
-
Polka: convex polyhedron library by Bertrand Jeannet (now part of apron)2.71.15LGPL-2.1-or-laterUsed by 1 other packages03 Nov 2022
-
0.4.0-0MITUsed by 0 other packages22 Apr 2016
-
0.3.1-0MITUsed by 1 other packages02 May 2016
-
0.8.0-0MITUsed by 0 other packages22 Apr 2016
-
0.5.0-0MITUsed by 0 other packages09 Aug 2017
-
An opinionated library for function programming (à La Haskell)1.0.0MITUsed by 8 other packages25 May 2022
-
proj4
No documentation
0.9.2MITUsed by 0 other packages14 Nov 2017 -
QBF solving in OCaml, including bindings to solvers0.3BSD-3-clauseUsed by 0 other packages13 Jan 2021
-
qfs
No documentation
Bindings to libqfs - client library to access QFS0.12LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages27 Jan 2020 -
0.4BSD-2-ClauseUsed by 0 other packages28 Jun 2022
-
0.1.2BSD-3-ClauseUsed by 1 other packages19 Feb 2020
-
SQLite3 bindings for OCaml5.1.0MITUsed by 27 other packages23 Sep 2021