79 Search Results
alt-ergo
The Alt-Ergo SMT prover
2.4.2
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
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
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
OCamlPro Non-Commercial Purpose License, version 1
Used by 1 other packages
annot
annotation parser for external editors and IDEs
1.1.0
Used by 0 other packages
bsbnative
bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
1.9.4
SEE LICENSE IN LICENSE
Used by 0 other packages
coq-of-ocaml
Compile a subset of OCaml to Coq
2.5.2+4.13
MIT
Used by 0 other packages
ctypes
Combinators for binding to C libraries without writing any C
0.20.1
MIT
Used by 124 other packages
ctypes-foreign
Virtual package for enabling the ctypes.foreign subpackage.
0.18.0
Used by 79 other packages
dockerfile
Dockerfile eDSL in OCaml
8.0.0
ISC
Used by 5 other packages
dockerfile-cmd
Dockerfile eDSL - generation support
8.0.0
ISC
Used by 1 other packages
domainslib
Parallel Structures over Domains for Multicore OCaml
0.4.2
ISC
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_hash
Hash functions: sha3, sha256, blake2b
0.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 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
ezjsonm
Simple interface on top of the Jsonm JSON library
1.3.0
ISC
Used by 44 other packages
ezjsonm-lwt
Simple Lwt-based interface to the Jsonm JSON library
1.3.0
ISC
Used by 0 other packages
ezxmlm
Combinators for parsing and selection of XML structures
1.1.0
ISC
Used by 8 other packages
glical
Glical: glancing at iCalendar data.
0.0.7
ISC
Used by 0 other packages
higher
Library for higher-kinded programming.
0.3.1
MIT
Used by 0 other packages
immutable
Pure Reason implementation of persistent immutable data structures.
0.0.15
BSD-3-Clause
Used by 0 other packages
llvmgraph
Ocamlgraph overlay for llvm
0.2
MIT
Used by 0 other packages
minima-theme
OCaml port of the Jekyll Minima theme
1.0.0
ISC
Used by 0 other packages
mirror
Mirror upstream OPAM package distribution files
0.0.1
ISC
Used by 0 other packages
obi
interface to OCaml Build Infrastructure
1.0.0
ISC
Used by 1 other packages
ocaml-migrate-parsetree
Convert OCaml parsetrees between different versions
2.4.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 13 other packages
ocaml-migrate-parsetree-ocamlbuild
Ocamlbuild plugin for ocaml-migrate-parsetree
1.2.0
LGPL-2.1-only
Used by 0 other packages
ocaml-top
The OCaml interactive editor for education
1.1.5
GPL-3.0-only
Used by 0 other packages
ocaml-version
Manipulate, parse and generate OCaml compiler version strings
3.5.0
ISC
Used by 5 other packages
ocamlbuild-pkg
An ocamlbuild plugin that helps packaging softwares.
0.2.1
MIT
Used by 1 other packages
ocamlfind-lint
Simple tool performing checks on installed findlib META files
0.1.0
New BSD License
Used by 0 other packages
ocb-stubblr
OCamlbuild plugin for C stubs
0.1.1-1
ISC
Used by 14 other packages
ocp-browser
Console browser for the documentation of installed OCaml libraries
1.3.3
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.3
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
odoc-depgraph
Custom OCamldoc generator to insert clickable dependency graphs in generated html page
1.0
LGPL-2.1-only
Used by 0 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-ci
Query the opam package build status
1.0.0
ISC
Used by 0 other packages
opam-custom-install
An opam plugin to install a package using a custom command
0.2
LGPL-2.1-only with OCaml-LGPL-linking-exception
Used by 0 other packages
opam-doc
Produce documentation for OPAM packages
0.9.3
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-sync-github-prs
Sync OCaml GitHub issues with OPAM
1.1.0
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
stdlib-shims
Backport some of the new stdlib features to older compiler
0.3.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 80 other packages
topkg
The transitory OCaml software packager
1.0.5
ISC
Used by 227 other packages
topkg-care
The transitory OCaml software packager
1.0.5
ISC
Used by 0 other packages
travis-senv
Utility to manipulate Travis CI secure environment variables
1.0.0
Used by 0 other packages
uchar
Compatibility library for OCaml's Uchar module
0.0.2
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 16 other packages
user-setup
Helper for the configuration of editors for the use of OCaml tools
0.7
ISC
Used by 0 other packages