OCaml logo
23 Search Results
advi
Active DVI Dune package!
Alexandre Miquel Jun Furuse Didier Rémy Pierre Weis Xavier Leroy Roberto Di Cosmo Didier Le Botlan Alan Schmitt
2.0.0
LGPL-2.1-or-later
Used by 0 other packages
agrep
String searching with errors
Xavier Leroy
1.0
LGPL-2.0-or-later
Used by 0 other packages
caml-mode
Caml mode for GNU Emacs
Damien Doligez Jacques Garrigue Xavier Leroy Didier Remy Ian T Zimmerman
4.9
GPL-2.0-or-later
Used by 1 other packages
camlidl
Stub code generator for OCaml
Xavier Leroy
1.09
QPL-1.0 and LGPL-2 with exceptions
Used by 13 other packages
camlp-streams
The Stream and Genlex libraries for use with Camlp4 and Camlp5
Daniel de Rauglaudre Xavier Leroy
5.0.1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 9 other packages
camlzip
Accessing compressed files in ZIP, GZIP and JAR format
Xavier Leroy
1.11
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 42 other packages
cryptokit
A library of cryptographic primitives
Xavier Leroy
1.17
LGPL-2.0-or-later WITH OCaml-LGPL-linking-exception
Used by 42 other packages
graphics
The OCaml graphics library
Xavier Leroy Jun Furuse J-M Geffroy Jacob Navia Pierre Weis
5.1.2
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 14 other packages
mpi
OCaml binding to the Message Passing Interface (MPI)
Xavier Leroy
1.05
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 0 other packages
num
The legacy Num library for arbitrary-precision integer and rational arithmetic
Valérie Ménissier-Morain Pierre Weis Xavier Leroy
1.4
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 78 other packages
ocaml
The OCaml compiler (virtual package)
Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier Rémy Jérôme Vouillon
5.1.0
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 2981 other packages
ocaml-base-compiler
First alpha release of OCaml 5.0.0
Xavier Leroy
5.0.0~alpha1
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 3 other packages
ocaml-beta
Virtual package for enabling OCaml beta releases
Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier Rémy Jérôme Vouillon
disabled
Used by 3 other packages
ocaml-manual
The OCaml system manual
Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier Rémy Jérôme Vouillon
4.14.0
CC-BY-SA-4.0
Used by 0 other packages
ocaml-secondary-compiler
OCaml 4.08.1 Secondary Switch Compiler
Xavier Leroy
4.08.1-1
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 1 other packages
ocaml-system
The OCaml compiler (system version, from outside of opam)
Xavier Leroy
4.14.0
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 5 other packages
ocaml-variants
Current trunk
Xavier Leroy Damien Doligez Alain Frisch Jacques Garrigue Didier Rémy Jérôme Vouillon
5.1.0+trunk
LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception
Used by 12 other packages
pringo
Pseudo-random, splittable number generators
Xavier Leroy
1.3
LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Used by 2 other packages
semaphore-compat
Compatibility Semaphore module
Xavier Leroy
1.0.1
LGPL-2.0-only
Used by 1 other packages
vocal
VOCaL -- The Verified OCaml Library
Arthur Charguéraud Martin Clochard Jean-Christophe Filliâtre Léon Gondelman Armaël Guéneau Xavier Leroy Cláudio Lourenço Simão Melo de Sousa Andrei Paskevich Mário Pereira François Pottier
0.1
MIT
Used by 0 other packages
zarith
Implements arithmetic and logical operations over arbitrary-precision integers
Antoine Miné Xavier Leroy Pascal Cuoq
1.12
Used by 114 other packages
zarith-freestanding
Implements arithmetic and logical operations over arbitrary-precision integers
Xavier Leroy
1.12
Used by 2 other packages
zarith-xen
Implements arithmetic and logical operations over arbitrary-precision integers
Xavier Leroy
1.7
Used by 2 other packages