32 Search Results
catala
Compiler and library for the literate programming language for tax code specification
0.7.0
Apache-2.0
Used by 0 other packages
learn-ocaml
The learn-ocaml online platform (engine)
Benjamin Canou (OCamlPro)
Çağdaş Bozman (OCamlPro)
Grégoire Henry (OCamlPro)
Louis Gesbert (OCamlPro)
Pierrick Couderc (OCamlPro)
0.14.0
MIT
Used by 0 other packages
learn-ocaml-client
The learn-ocaml client
Benjamin Canou (OCamlPro)
Çağdaş Bozman (OCamlPro)
Grégoire Henry (OCamlPro)
Louis Gesbert (OCamlPro)
Pierrick Couderc (OCamlPro)
0.14.0
MIT
Used by 0 other packages
mccs
MCCS (which stands for Multi Criteria CUDF Solver) is a CUDF problem solver
developed at UNS during the European MANCOOSI project
1.1+14
LGPL-2.1-only WITH OCaml-LGPL-linking-exception; BSD-3-clause; GPL-3.0-only
Used by 1 other packages
ocaml-top
The OCaml interactive editor for education
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-reloc
Relocation of OCaml bytecode executables
0.1
LGPL-3.0-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-client
Client library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org>
Raja Boujbel <raja.boujbel@ocamlpro.com>
Roberto Di Cosmo <roberto@dicosmo.org>
Thomas Gazagnaire <thomas@gazagnaire.org>
Louis Gesbert <louis.gesbert@ocamlpro.com>
Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Anil Madhavapeddy <anil@recoil.org>
Guillem Rieu <guillem.rieu@ocamlpro.com>
Ralf Treinen <ralf.treinen@pps.jussieu.fr>
Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 4 other packages
opam-core
Core library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org>
Raja Boujbel <raja.boujbel@ocamlpro.com>
Roberto Di Cosmo <roberto@dicosmo.org>
Thomas Gazagnaire <thomas@gazagnaire.org>
Louis Gesbert <louis.gesbert@ocamlpro.com>
Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Anil Madhavapeddy <anil@recoil.org>
Guillem Rieu <guillem.rieu@ocamlpro.com>
Ralf Treinen <ralf.treinen@pps.jussieu.fr>
Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 5 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-depext
Install OS distribution packages
1.2.1-1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
opam-devel
Bootstrapped development binary for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org>
Raja Boujbel <raja.boujbel@ocamlpro.com>
Roberto Di Cosmo <roberto@dicosmo.org>
Thomas Gazagnaire <thomas@gazagnaire.org>
Louis Gesbert <louis.gesbert@ocamlpro.com>
Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Anil Madhavapeddy <anil@recoil.org>
Guillem Rieu <guillem.rieu@ocamlpro.com>
Ralf Treinen <ralf.treinen@pps.jussieu.fr>
Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
opam-ed
Command-line edition tool for handling the opam file syntax
0.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
opam-file-format
Parser and printer for the opam file syntax
2.1.4
LGPL-2.1-only with OCaml-LGPL-linking-exception
Used by 9 other packages
opam-format
Format library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org>
Raja Boujbel <raja.boujbel@ocamlpro.com>
Roberto Di Cosmo <roberto@dicosmo.org>
Thomas Gazagnaire <thomas@gazagnaire.org>
Louis Gesbert <louis.gesbert@ocamlpro.com>
Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Anil Madhavapeddy <anil@recoil.org>
Guillem Rieu <guillem.rieu@ocamlpro.com>
Ralf Treinen <ralf.treinen@pps.jussieu.fr>
Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 12 other packages
opam-installer
Installation of files to a prefix, following opam conventions
Vincent Bernardoff <vb@luminar.eu.org>
Raja Boujbel <raja.boujbel@ocamlpro.com>
Roberto Di Cosmo <roberto@dicosmo.org>
Thomas Gazagnaire <thomas@gazagnaire.org>
Louis Gesbert <louis.gesbert@ocamlpro.com>
Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Anil Madhavapeddy <anil@recoil.org>
Guillem Rieu <guillem.rieu@ocamlpro.com>
Ralf Treinen <ralf.treinen@pps.jussieu.fr>
Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
opam-lib
The OPAM library
Thomas Gazagnaire <thomas@gazagnaire.org>
Anil Madhavapeddy <anil@recoil.org>
Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Frederic Tuong <tuong@users.gforge.inria.fr>
Louis Gesbert <louis.gesbert@ocamlpro.com>
Guillem Rieu <guillem.rieu@ocamlpro.com>
Vincent Bernardoff <vb@luminar.eu.org>
Roberto Di Cosmo <roberto@dicosmo.org>
1.3.1
Used by 5 other packages
opam-package-upgrade
Upgrades opam package definition files to the latest format
opam-publish
A tool to ease contributions to opam repositories
Louis Gesbert <louis.gesbert@ocamlpro.com>
David Sheets <sheets@alum.mit.edu>
Jeremie Dimino <jdimino@janestreet.com>
2.1.0
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
opam-repository
Repository library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org>
Raja Boujbel <raja.boujbel@ocamlpro.com>
Roberto Di Cosmo <roberto@dicosmo.org>
Thomas Gazagnaire <thomas@gazagnaire.org>
Louis Gesbert <louis.gesbert@ocamlpro.com>
Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Anil Madhavapeddy <anil@recoil.org>
Guillem Rieu <guillem.rieu@ocamlpro.com>
Ralf Treinen <ralf.treinen@pps.jussieu.fr>
Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages
opam-solver
Solver library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org>
Raja Boujbel <raja.boujbel@ocamlpro.com>
Roberto Di Cosmo <roberto@dicosmo.org>
Thomas Gazagnaire <thomas@gazagnaire.org>
Louis Gesbert <louis.gesbert@ocamlpro.com>
Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Anil Madhavapeddy <anil@recoil.org>
Guillem Rieu <guillem.rieu@ocamlpro.com>
Ralf Treinen <ralf.treinen@pps.jussieu.fr>
Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 3 other packages
opam-state
State library for opam 2.1
Vincent Bernardoff <vb@luminar.eu.org>
Raja Boujbel <raja.boujbel@ocamlpro.com>
Roberto Di Cosmo <roberto@dicosmo.org>
Thomas Gazagnaire <thomas@gazagnaire.org>
Louis Gesbert <louis.gesbert@ocamlpro.com>
Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Anil Madhavapeddy <anil@recoil.org>
Guillem Rieu <guillem.rieu@ocamlpro.com>
Ralf Treinen <ralf.treinen@pps.jussieu.fr>
Frederic Tuong <tuong@users.gforge.inria.fr>
2.1.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 9 other packages
publish
opam-publish transition package
0.3.4+transition
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
user-setup
Helper for the configuration of editors for the use of OCaml tools