32 Search Results
alt-ergo
The Alt-Ergo SMT prover
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1; LGPL-2.1-only
Used by 4 other packages
alt-ergo-lib
The Alt-Ergo SMT prover library
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 3 other packages
alt-ergo-parsers
The Alt-Ergo SMT prover parser library
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 2 other packages
altgr-ergo
The GUI for the Alt-Ergo SMT prover
2.4.2
LicenseRef-OCamlPro-Non-Commercial-Purpose-License-Version-1
Used by 1 other packages
drom
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
0.6.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
drom_lib
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
0.6.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
ez_cmdliner
Easy interface to Cmdliner à la Arg.parse with sub-commands
0.4.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 4 other packages
ez_config
Easy management of configuration files
0.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
ez_file
Easy file manipulation (read_file, write_file, etc.)
0.3.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
ez_opam_file
Package ez_opam_file is a simple compatibility layer on top of opam-file-format
0.1.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages
ez_search
The ez_search library
0.2.2
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
ez_subst
Ez_subst is a simple module to perform string substitutions
0.2.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages
ocaml-top
The OCaml interactive editor for education
1.1.5
GPL-3.0-only
Used by 0 other packages
ocp-browser
Console browser for the documentation of installed OCaml libraries
1.3.4
GPL-3.0-only
Used by 0 other packages
ocp-indent
A simple tool to indent OCaml programs
1.8.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 11 other packages
ocp-index
Lightweight completion and documentation browsing for OCaml libraries
1.3.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception; GPL-3.0-only
Used by 5 other packages
ocp-pack-split
ocp-pack and ocp-split
1.0.1
Used by 0 other packages
ocp-reloc
Relocation of OCaml bytecode executables
0.1
LGPL-3.0-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
ocp-search
The ocp-search tool to index/search source packages
0.2.2
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
ocplib_stuff
Basic stuff used by some OCP libraries and tools
0.3.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages
opam-bin
The opam-bin tool is a simple framework to use `opam` with binary packages
1.1.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
opam-bundle
A tool that creates stand-alone source bundles from opam packages
0.4
GPL-3.0-only
Used by 0 other packages
opam-custom-install
An opam plugin to install a package using a custom command
0.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
opam-package-upgrade
Upgrades opam package definition files to the latest format
0.2
GPL-3.0-only
Used by 0 other packages
opam_bin_lib
The opam-bin tool is a simple framework to use `opam` with binary packages
1.1.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
solidity-alcotest
The ocaml-solidity project
0.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
solidity-common
The ocaml-solidity project
0.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 4 other packages
solidity-parser
The ocaml-solidity project
0.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
solidity-test
The ocaml-solidity project
0.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
solidity-typechecker
The ocaml-solidity project
0.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages
user-setup
Helper for the configuration of editors for the use of OCaml tools
0.7
ISC
Used by 0 other packages