^^

'ocaml' section (19/1)


Coq tactics for reasoning modulo AC (devt files)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the static native-code library, needed to build custom toplevels, and the compiled interfaces.


Coq tactics for reasoning modulo AC (plugin)

This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators. . This package provides the plugin itself.


Theorem prover dedicated to program verification - libraries

Alt-Ergo is an automatic theorem prover geared towards application in program verification. It is based on CC(X), a congruence closure algorithm parameterized by an equational theory X. Alt-Ergo has built-in provers for propositional logic, linear arithmetic, uninterpreted function symbols, associative-commutative function symbols, polymorphic arrays, user-defined polymorphic record types and polymorphic enumeration types. It has restricted support for reasoning over arbitrary user-defined algebraic types, first-order quantifiers, and non-linear arithmetic. . This package contains the development libraries that are useful when writing OCaml programs linking to the alt-ergo API.


abstract interpretation library (OCaml interface)

The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package contains the files necessary to use the APRON library in OCaml.


runtime libraries for APRON (OCaml interface)

The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables. It is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain. . This package include only the dynamic libraries needed for running dynamic bytecode executables.


OCaml code generator for biniou and JSON - plugins

Atdgen is a command-line program that takes as input type definitions in the ATD syntax and produces OCaml code suitable for data serialization and deserialization. Two data formats are currently supported, these are biniou and JSON. . This package contains the shared runtime libraries (plugin).


OCaml code generator for biniou and JSON - executable and dev files

Atdgen is a command-line program that takes as input type definitions in the ATD syntax and produces OCaml code suitable for data serialization and deserialization. Two data formats are currently supported, these are biniou and JSON. . This package contains the adtgen executable and the files necessary for programming with the library.


OCaml libraries for Debian maintainers (development package)

This package contains miscellaneous OCaml libraries to make the life of an OCaml-aware Debian package maintainer easier. . This package contains development files of the library.


OCaml libraries for Debian maintainers (runtime package)

This package contains miscellaneous OCaml libraries to make the life of an OCaml-aware Debian package maintainer easier. . This package contains the shared runtime stub libraries.


type-safe binary serialization for OCaml values (runtime)

bin-prot provides functionalities for reading and writing OCaml-values in a type-safe binary protocol. . These functions provide a safe way of performing I/O on any extensionally defined data type. Functions, objects, and values whose type is bound through a polymorphic record field are not supported, but everything else is. . There is no support for cyclic or shared values and only little endian computer architectures are supported. . This package contains runtime files.


type-safe binary serialization for OCaml values

bin-prot provides functionalities for reading and writing OCaml-values in a type-safe binary protocol. . These functions provide a safe way of performing I/O on any extensionally defined data type. Functions, objects, and values whose type is bound through a polymorphic record field are not supported, but everything else is. . There is no support for cyclic or shared values and only little endian computer architectures are supported.


type-safe binary serialization for OCaml values (dev files)

bin-prot provides functionalities for reading and writing OCaml-values in a type-safe binary protocol. . These functions provide a safe way of performing I/O on any extensionally defined data type. Functions, objects, and values whose type is bound through a polymorphic record field are not supported, but everything else is. . There is no support for cyclic or shared values and only little endian computer architectures are supported. . This package contains development files.


flexible binary data format in OCaml - development files

Biniou is a binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve. Biniou is vastly equivalent to JSON in terms of functionality but allows implementations about 4 times as fast (see godi-yojson for comparison), with 25-35% space savings. Biniou data can be decoded into human-readable form without knowledge of type definitions except for field and variant names which are represented by 31-bit hashes. . This package contains the development files needed for programming with the library.


flexible binary data format in OCaml - plugins

Biniou is a binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve. Biniou is vastly equivalent to JSON in terms of functionality but allows implementations about 4 times as fast (see godi-yojson for comparison), with 25-35% space savings. Biniou data can be decoded into human-readable form without knowledge of type definitions except for field and variant names which are represented by 31-bit hashes. . This package contains the shared runtime libraries.


OCaml bindings for Cairo (runtime)

Cairo is a multi-platform library providing anti-aliased vector-based rendering for multiple target backends. Paths consist of line segments and cubic splines and can be rendered at any width with various join and cap styles. All colors may be specified with optional translucence (opacity/alpha) and combined using the extended Porter/Duff compositing algebra as found in the X Render Extension. . Cairo exports a stateful rendering API similar in spirit to the path construction, text, and painting operators of PostScript, (with the significant addition of translucence in the imaging model). When complete, the API is intended to support the complete imaging model of PDF 1.4. . This package contains only the shared runtime stub libraries.


OCaml bindings for Cairo

Cairo is a multi-platform library providing anti-aliased vector-based rendering for multiple target backends. Paths consist of line segments and cubic splines and can be rendered at any width with various join and cap styles. All colors may be specified with optional translucence (opacity/alpha) and combined using the extended Porter/Duff compositing algebra as found in the X Render Extension. . Cairo exports a stateful rendering API similar in spirit to the path construction, text, and painting operators of PostScript, (with the significant addition of translucence in the imaging model). When complete, the API is intended to support the complete imaging model of PDF 1.4. . This package contains all the development stuff you need to use Cairo in your OCaml programs. The following backends are supported: PostScript, PDF, PNG, In-memory images and X11.


OCaml library providing operations over dates and times (dev files)

OCaml library implementing common date/time operations with timezones and pretty printing support.


OCaml library providing operations over dates and times (runtime)

OCaml library implementing common date/time operations with timezones and pretty printing support. . This package contains the shared runtime libraries.


emacs mode for editing OCaml programs

Objective Caml (OCaml) is an implementation of the ML language, based on the Caml Light dialect extended with a complete class-based object system and a powerful module system in the style of Standard ML. . This package provides support for editing both Objective Caml and Caml Light programs with Emacs and XEmacs. . Caml-mode supports: - indentation - compilation and error retrieving - interaction with the toplevel - font-lock - imenu


HTML and LaTeX colored syntax from OCaml source files - executable

Caml2html provides a command-line executable which converts a set of OCaml source files into a HTML or LaTeX document with colored syntax. A library is also provided for building web-page generators that would color OCaml code appropriately. . This package contains the caml2html executable.


HTML and LaTeX colored syntax from OCaml source files - dev files

Caml2html provides a command-line executable which converts a set of OCaml source files into a HTML or LaTeX document with colored syntax. A library is also provided for building web-page generators that would color OCaml code appropriately. . This package contains the development files for programming with the library.


HTML and LaTeX colored syntax from OCaml source files - plugins

Caml2html provides a command-line executable which converts a set of OCaml source files into a HTML or LaTeX document with colored syntax. A library is also provided for building web-page generators that would color OCaml code appropriately. . This package contains the shared runtime library.


OCaml bindings for the bzip2 compression library

CamlBZ2 provides OCaml bindings for libbz2 (AKA bzip2), a popular compression library which typically compresses better (i.e., smaller resulting files) than gzip. . Using CamlBZ2 you can read and write compressed "files", where files can be anything offering an in_channel/out_channel abstraction (files, sockets, ...). . Also, with CamlBZ2 you can compress and decompress strings in memory using the bzip2 compression algorithm. . This package contains all the development stuff you need to use CamlBZ2 in your programs.


OCaml bindings for the bzip2 compression library

CamlBZ2 provides OCaml bindings for libbz2 (AKA bzip2), a popular compression library which typically compresses better (i.e., smaller resulting files) than gzip. . Using CamlBZ2 you can read and write compressed "files", where files can be anything offering an in_channel/out_channel abstraction (files, sockets, ...). . Also, with CamlBZ2 you can compress and decompress strings in memory using the bzip2 compression algorithm. . This package contains only the shared runtime stub libraries.


binding to the NDBM/GDBM Unix databases (runtime)

This OCaml library is a binding to the NDBM/GDBM Unix databases. It provides persistent storage of key-value pairs of strings. . This package contains only the shared runtime stub libraries.


binding to the NDBM/GDBM Unix databases (development files)

This OCaml library is a binding to the NDBM/GDBM Unix databases. It provides persistent storage of key-value pairs of strings. . This package contains the development part of the camldbm package.


Stub code generator for Objective Caml

CamlIDL generates stub code for interfacing Caml with C from an IDL description of the C functions. Thus, CamlIDL automates the most tedious task in interfacing C libraries with Caml programs. . It can also be used to interface Caml programs with other languages, as long as those languages have a well-defined C interface. . This package contains the CamlIDL executable.


OCaml image processing library (Runtime library)

CamlImages is an image processing library for OCaml, which provides: . * basic functions for image processing and loading/saving various image file formats (hence providing a translation facility from format to format) . * an interface with the Caml graphics library allows one to display images in the Graphics module screen and to mix them with Caml drawings . * a freetype interface, integrated into the library: you can draw texts into images using any truetype fonts . In addition, the library can handle huge images that cannot be (or can hardly be) stored into the main memory (the library then automatically creates swap files and escapes them to reduce the memory usage). . This package contains only the shared runtime stub libraries.


OCaml image processing library (Development package)

CamlImages is an image processing library for OCaml, which provides: . * basic functions for image processing and loading/saving various image file formats (hence providing a translation facility from format to format) . * an interface with the Caml graphics library allows one to display images in the Graphics module screen and to mix them with Caml drawings . * a freetype interface, integrated into the library: you can draw texts into images using any truetype fonts . In addition, the library can handle huge images that cannot be (or can hardly be) stored into the main memory (the library then automatically creates swap files and escapes them to reduce the memory usage). . This package contains the development part of the camlimages library.


interface between OCaml and Java via Caml/C interface and JNI

CamlJava is an interface between OCaml and Java allowing programs written in one of the two languages to call code written in the other. . Interaction among the two languages happen via the respective C interfaces: Caml/C interface for OCaml and JNI (Java Native Interface) for Java. . Currently, CamlJava provides a low-level, weakly-typed OCaml interface very similar to the JNI. Java object references are mapped to an abstract type, and various JNI-like operations are provided to allow Java method invocation, field access, and more. . A basic callback facility (allowing Java code to invoke methods on OCaml objects) is also provided, although some stub Java code must be written by hand. . This package contain all the development stuff needed to use CamlJava from OCaml programs.