78 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
annot
annotation parser for external editors and IDEs
bsbnative
bsb-native is BuckleScript's bsb but for ocamlc and ocamlopt
coq-of-ocaml
Compile a subset of OCaml to Coq
cstruct
Access C-like structures directly from OCaml
Anil Madhavapeddy
Richard Mortier
Thomas Gazagnaire
Pierre Chambart
David Kaloper
Jeremy Yallop
David Scott
Mindy Preston
Thomas Leonard
Anton Kochkov
Etienne Millon
6.1.1
ISC
Used by 231 other packages
cstruct-async
Access C-like structures directly from OCaml
Anil Madhavapeddy
Richard Mortier
Thomas Gazagnaire
Pierre Chambart
David Kaloper
Jeremy Yallop
David Scott
Mindy Preston
Thomas Leonard
Etienne Millon
6.1.1
ISC
Used by 2 other packages
cstruct-lwt
Access C-like structures directly from OCaml
Anil Madhavapeddy
Richard Mortier
Thomas Gazagnaire
Pierre Chambart
David Kaloper
Jeremy Yallop
David Scott
Mindy Preston
Thomas Leonard
Etienne Millon
6.1.1
ISC
Used by 28 other packages
cstruct-sexp
S-expression serialisers for C-like structures
Anil Madhavapeddy
Richard Mortier
Thomas Gazagnaire
Pierre Chambart
David Kaloper
Jeremy Yallop
David Scott
Mindy Preston
Thomas Leonard
Anton Kochkov
Etienne Millon
6.1.1
ISC
Used by 7 other packages
cstruct-unix
Access C-like structures directly from OCaml
Anil Madhavapeddy
Richard Mortier
Thomas Gazagnaire
Pierre Chambart
David Kaloper
Jeremy Yallop
David Scott
Mindy Preston
Thomas Leonard
Etienne Millon
6.1.1
ISC
Used by 12 other packages
doc-ock-html
From doc-ock to HTML
dockerfile
Dockerfile eDSL in OCaml
Anil Madhavapeddy
Anton Kochkov
Antonin Décimo
David Allsopp
Ewan Mellor
Kate Deplaix
Louis Gesbert
Mark Elvers
Thomas Leonard
Tim McGilchrist
8.1.0
ISC
Used by 5 other packages
dockerfile-cmd
Dockerfile eDSL -- generation support
Anil Madhavapeddy
Anton Kochkov
Antonin Décimo
David Allsopp
Ewan Mellor
Kate Deplaix
Louis Gesbert
Mark Elvers
Thomas Leonard
Tim McGilchrist
8.1.0
ISC
Used by 1 other packages
dockerfile-opam
Dockerfile eDSL -- opam support
Anil Madhavapeddy
Anton Kochkov
Antonin Décimo
David Allsopp
Ewan Mellor
Kate Deplaix
Louis Gesbert
Mark Elvers
Thomas Leonard
Tim McGilchrist
8.1.0
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.8.0
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.8.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
drom_toml
The drom tool is a wrapper over opam/dune in an attempt to provide a cargo-like user experience
0.8.0
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 4 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
ezjsonm-lwt
Simple Lwt-based interface to the Jsonm JSON library
ezxmlm
Combinators for parsing and selection of XML structures
geojson
Pure OCaml library for GeoJSON
geojsone
Streaming GeoJSON library
glical
Glical: glancing at iCalendar data.
immutable
Pure Reason implementation of persistent immutable data structures.
llvmgraph
Ocamlgraph overlay for llvm
minima-theme
OCaml port of the Jekyll Minima theme
mirror
Mirror upstream OPAM package distribution files
obi
interface to OCaml Build Infrastructure
ocaml-migrate-parsetree
Convert OCaml parsetrees between different versions
2.4.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 14 other packages
ocaml-migrate-parsetree-ocamlbuild
Ocamlbuild plugin for ocaml-migrate-parsetree
ocaml-top
The OCaml interactive editor for education
ocaml-version
Manipulate, parse and generate OCaml compiler version strings
ocamlbuild-pkg
An ocamlbuild plugin that helps packaging softwares.
ocamlfind-lint
Simple tool performing checks on installed findlib META files
ocb-stubblr
OCamlbuild plugin for C stubs
ocp-browser
Console browser for the documentation of installed OCaml libraries
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-indent-nlfork
ocp-indent library, "newline tokens" fork
Grégoire Henry <gregoire.henry@ocamlpro.com>
Louis Gesbert <louis.gesbert@ocamlpro.com>
Thomas Gazagnaire <thomas@gazagnaire.org>
Jun Furuse
1.5.4
LGPL-3.0-or-later
Used by 2 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
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
opam-bin
The opam-bin tool is a simple framework to use `opam` with binary packages
1.2.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
opam-ci
Query the opam package build status
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-doc
Produce documentation for OPAM packages
opam-package-upgrade
Upgrades opam package definition files to the latest format
opam-sync-github-prs
Sync OCaml GitHub issues with OPAM
opam_bin_lib
The opam-bin tool is a simple framework to use `opam` with binary packages
1.2.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
owi
OCaml toolchain to work with WebAssembly, including and interpreter
0.1
ISC
Used by 0 other packages
ppx_cstruct
Access C-like structures directly from OCaml
Anil Madhavapeddy
Richard Mortier
Thomas Gazagnaire
Pierre Chambart
David Kaloper
Jeremy Yallop
David Scott
Mindy Preston
Thomas Leonard
Etienne Millon
6.1.1
ISC
Used by 38 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
topkg-care
The transitory OCaml software packager
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
user-setup
Helper for the configuration of editors for the use of OCaml tools
yaml
Parse and generate YAML 1.1/1.2 files
Anil Madhavapeddy <anil@recoil.org>
Rizo Isrof <rizo@odis.io>
Patrick Ferris
favonia@gmail.com
Alan J Hu <alanh@ccs.neu.edu>
3.1.0
ISC
Used by 15 other packages
yaml-sexp
Parse and generate YAML 1.1 files
Anil Madhavapeddy <anil@recoil.org>
Rizo Isrof <rizo@odis.io>
Patrick Ferris
favonia@gmail.com
Alan J Hu <alanh@ccs.neu.edu>
3.1.0
ISC
Used by 1 other packages