119 search results for "author:"Ocamlpro""
Showing 1 - 50
-
Adjustable grid (two dimensional array) library0.1ISCUsed by 1 other packages09 Mar 2021
-
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 5 other packages24 Sep 2024
-
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 3 other packages24 Sep 2024
-
2.6.0LicenseRef-OCamlpro-Non-Commercial; Apache-2.0Used by 2 other packages24 Sep 2024
-
An experimental Why3 frontend for Alt-Ergo2.6.0LGPL-2.1-onlyUsed by 0 other packages24 Sep 2024
-
Basic spreadsheet tool with HTML tables0.1ISCUsed by 0 other packages14 Mar 2021
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 0 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 2 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 3 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 1 other packages16 Mar 2023
-
A modern runner for GNU Autoconf Testsuites0.8GPL-3.0-onlyUsed by 2 other packages16 Mar 2023
-
An OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows0.5ISCUsed by 6 other packages09 Jan 2022
-
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience0.8.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages03 Jan 2023
-
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience0.8.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages03 Jan 2023
-
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience0.8.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages03 Jan 2023
-
Easy API library and tools2.1.0LGPL-2.1-onlyUsed by 2 other packages09 Jul 2024
-
Easy interface to Cmdliner à la Arg.parse with sub-commands0.4.3LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 6 other packages08 Mar 2022
-
Easy management of configuration files0.2.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages08 Mar 2022
-
Easy file manipulation (read_file, write_file, etc.)0.3.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 13 other packages08 Mar 2022
-
A simple library to work with pgocaml1.0.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages30 Mar 2021
-
Bindings for the Ace editor0.1.1LGPL-2.1-onlyUsed by 0 other packages26 Oct 2020
-
Bindings for Blockies0.1.1LGPL-2.1-onlyUsed by 0 other packages26 Oct 2020
-
Bindings for Cleave0.1.1LGPL-2.1-onlyUsed by 0 other packages26 Oct 2020
-
Bindings for SubtleCrypto0.1LGPL-2.1-onlyUsed by 0 other packages26 Oct 2020
-
Bindings for Cytoscape0.1LGPL-2.1-onlyUsed by 0 other packages26 Oct 2020
-
Bindings for d3pie0.1LGPL-2.1-onlyUsed by 0 other packages31 Jul 2020
-
Binding for Chrome and Firefox extension API0.1LGPL-2.1-onlyUsed by 1 other packages29 Oct 2020
-
Bindings for Fetch0.3LGPL-2.1-or-laterUsed by 1 other packages22 Dec 2022
-
Bindings for IndexedDB0.1.1LGPL-2.1-onlyUsed by 0 other packages13 Apr 2021
-
Bindings for JQuery0.1LGPL-2.1-onlyUsed by 0 other packages26 Oct 2020
-
A bunch of js_of_ocaml shortcuts0.3.0LGPL-2.1Used by 8 other packages11 Apr 2022
-
Bindings for odometer0.1LGPL-2.1-onlyUsed by 0 other packages31 Jul 2020
-
Bindings for Push Notification0.2LGPL-2.1-onlyUsed by 0 other packages26 Oct 2020
-
Bindings for QRCode.js0.1LGPL-2.1-onlyUsed by 0 other packages31 Jul 2020
-
Bindings for reCAPTCHA0.1.1LGPL-2.1-onlyUsed by 0 other packages26 Oct 2020
-
Bindings for TimelineJS0.1.1LGPL-2.1-onlyUsed by 0 other packages26 Oct 2020
-
A minimal OCaml library for type-safe HTTP/JSON RPCs0.6.1MITUsed by 1 other packages08 Feb 2021
-
A minimal OCaml library for type-safe HTTP/JSON RPCs0.6.1MITUsed by 0 other packages08 Feb 2021
-
A tool to check and update source headers, using checksums0.1.0LGPL-2.1-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages28 Apr 2023
-
Type-safe encoding to and decoding from JSON1.0.1MITUsed by 10 other packages21 Mar 2024
-
Type-safe encoding to and decoding from JSON (browser support)1.0.1MITUsed by 0 other packages21 Mar 2024
-
Type-safe encoding to and decoding from JSON (bson support)1.0.1MITUsed by 1 other packages21 Mar 2024
-
The learn-ocaml online platform (engine)1.0.0MITUsed by 0 other packages14 Feb 2024
-
The learn-ocaml client1.0.0MITUsed by 0 other packages14 Feb 2024
-
MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver developed at UNS during the European MANCOOSI project1.1+18LGPL-2.1-only WITH OCaml-LGPL-linking-exception; BSD-3-clause; GPL-3.0-onlyUsed by 2 other packages22 Aug 2024
-
Bindings to Linux perf's metrics0.5.0GPL-2.0-onlyUsed by 1 other packages06 Nov 2023
-
Small self-contained library providing an efficient implementation for a type equivalent to `'a option array`0.1MITUsed by 0 other packages24 May 2017